https://gcc.gnu.org/g:f0fe0cee314d565ee9392325812392954c88fdfb

commit r16-5205-gf0fe0cee314d565ee9392325812392954c88fdfb
Author: David Malcolm <[email protected]>
Date:   Wed Nov 12 16:51:16 2025 -0500

    analyzer: fix log of name in ana::log_set_of_svalues
    
    Fix this warning:
    
    warning: format not a string literal and no format arguments 
[-Wformat-security]
     1498 |   logger->log (name);
          |   ~~~~~~~~~~~~^~~~~~
    
    Note that this is only ever called with string literal values for "name".
    
    gcc/analyzer/ChangeLog:
            * program-state.cc (log_set_of_svalues):  Avoid -Wformat-security
            warning when logging name.
    
    Signed-off-by: David Malcolm <[email protected]>

Diff:
---
 gcc/analyzer/program-state.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc
index ac91ea4e194d..7962b452f8b5 100644
--- a/gcc/analyzer/program-state.cc
+++ b/gcc/analyzer/program-state.cc
@@ -1602,7 +1602,7 @@ static void
 log_set_of_svalues (logger *logger, const char *name,
                    const svalue_set &set)
 {
-  logger->log (name);
+  logger->log ("%s", name);
   logger->inc_indent ();
   auto_vec<const svalue *> sval_vecs (set.elements ());
   for (svalue_set::iterator iter = set.begin ();

Reply via email to