fix debug message

src/kernel_services/ast_queries/dyncall.ml

@@ -150,7 +150,7 @@ class dyncall =
             let dkey = Kernel.dkey_dyncalls in
             Kernel.feedback ~source ~dkey
               "@[<hov 2>Calls %s%a@]"
-              (if Cil.default_behavior_name = bhv then "(for " ^ bhv ^ ")"
+              (if Cil.default_behavior_name <> bhv then "(for " ^ bhv ^ ")"
                else "")
               pp_calls kfs
           in

src/plugins/wp/tests/wp_plugin/oracle/dynamic.0.res.oracle

@@ -2,13 +2,13 @@
 [kernel] Parsing dynamic.i (no preprocessing)
 [wp] Running WP plugin...
 [kernel:dyncalls] Computing dynamic calls.
-[kernel:dyncalls] dynamic.i:32: Calls (for default!) f1 f2
-[kernel:dyncalls] dynamic.i:46: Calls (for default!) g
-[kernel:dyncalls] dynamic.i:67: Calls (for default!) h1 h2
-[kernel:dyncalls] dynamic.i:80: Calls  h1 h2 h0
-[kernel:dyncalls] dynamic.i:80: Calls  h1 h2 h0
-[kernel:dyncalls] dynamic.i:89: Calls (for default!) h1
-[kernel:dyncalls] dynamic.i:102: Calls (for default!) unreachable_g
+[kernel:dyncalls] dynamic.i:32: Calls  f1 f2
+[kernel:dyncalls] dynamic.i:46: Calls  g
+[kernel:dyncalls] dynamic.i:67: Calls  h1 h2
+[kernel:dyncalls] dynamic.i:80: Calls (for bhv1) h1 h2 h0
+[kernel:dyncalls] dynamic.i:80: Calls (for bhv0) h1 h2 h0
+[kernel:dyncalls] dynamic.i:89: Calls  h1
+[kernel:dyncalls] dynamic.i:102: Calls  unreachable_g
 [kernel:dyncalls] Dynamic call(s): 6.
 [wp] Warning: Missing RTE guards
 [wp] dynamic.i:80: Warning: Missing 'calls' for default behavior

src/plugins/wp/tests/wp_plugin/oracle/dynamic.1.res.oracle

@@ -2,13 +2,13 @@
 [kernel] Parsing dynamic.i (no preprocessing)
 [wp] Running WP plugin...
 [kernel:dyncalls] Computing dynamic calls.
-[kernel:dyncalls] dynamic.i:32: Calls (for default!) f1 f2
-[kernel:dyncalls] dynamic.i:46: Calls (for default!) g
-[kernel:dyncalls] dynamic.i:67: Calls (for default!) h1 h2
-[kernel:dyncalls] dynamic.i:80: Calls  h1 h2 h0
-[kernel:dyncalls] dynamic.i:80: Calls  h1 h2 h0
-[kernel:dyncalls] dynamic.i:89: Calls (for default!) h1
-[kernel:dyncalls] dynamic.i:102: Calls (for default!) unreachable_g
+[kernel:dyncalls] dynamic.i:32: Calls  f1 f2
+[kernel:dyncalls] dynamic.i:46: Calls  g
+[kernel:dyncalls] dynamic.i:67: Calls  h1 h2
+[kernel:dyncalls] dynamic.i:80: Calls (for bhv1) h1 h2 h0
+[kernel:dyncalls] dynamic.i:80: Calls (for bhv0) h1 h2 h0
+[kernel:dyncalls] dynamic.i:89: Calls  h1
+[kernel:dyncalls] dynamic.i:102: Calls  unreachable_g
 [kernel:dyncalls] Dynamic call(s): 6.
 [wp] Warning: Missing RTE guards