Prefix warning about modified locals with Information to make sure th…

…ey are not misconstrued as warnings.
goblint · Mar 13, 2023 · 4c80826 · 4c80826
1 parent 7a605fb
commit 4c80826
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -716,9 +716,9 @@ struct
              in
              let modified_vars = Queries.VS.diff (res_ctx.ask (MayBeModifiedSinceSetjmp (targetnode, targetcontext))) setjmpvar in
              (if Queries.VS.is_top modified_vars then
-                M.warn "Since setjmp at %s, potentially all locals were modified! Acessing them will yield Undefined Behavior."  (Node.show targetnode)
+                M.warn "Information: Since setjmp at %s, potentially all locals were modified! Acessing them will yield Undefined Behavior."  (Node.show targetnode)
               else if not (Queries.VS.is_empty modified_vars) then
-                M.warn "Since setjmp at %s, locals %s were modified! Acessing them will yield Undefined Behavior." (Node.show targetnode) (Queries.VS.show modified_vars)
+                M.warn "Information: Since setjmp at %s, locals %s were modified! Acessing them will yield Undefined Behavior." (Node.show targetnode) (Queries.VS.show modified_vars)
               else
                 ()
              );
@@ -820,9 +820,9 @@ struct
                     in
                     let modified_vars = Queries.VS.diff (path_ctx.ask (MayBeModifiedSinceSetjmp (node, c))) setjmpvar in
                     (if Queries.VS.is_top modified_vars then
-                       M.warn "Since setjmp at %s, potentially all locals were modified! Acessing them will yield Undefined Behavior."  (Node.show node)
+                       M.warn "Information: Since setjmp at %s, potentially all locals were modified! Acessing them will yield Undefined Behavior."  (Node.show node)
                      else if not (Queries.VS.is_empty modified_vars) then
-                       M.warn "Since setjmp at %s, locals %s were modified! Acessing them will yield Undefined Behavior." (Node.show node) (Queries.VS.show modified_vars)
+                       M.warn "Information: Since setjmp at %s, locals %s were modified! Acessing them will yield Undefined Behavior." (Node.show node) (Queries.VS.show modified_vars)
                      else
                        ()
                     );