From 4c80826464622ac8baf74046c9ad49a27da4ac9f Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Mon, 13 Mar 2023 14:09:25 +0100 Subject: [PATCH] Prefix warning about modified locals with Information to make sure they are not misconstrued as warnings. --- src/framework/constraints.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml index 7b35ada381..f101c132d3 100644 --- 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 () );