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 <dmalcolm@redhat.com>

diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc
index ac91ea4e194d896f29b2b7d6a93377938bfc86cb..7962b452f8b506d3d3fc4b4cceef2b402d4e5a25 100644 (file)
--- 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 ();