simplify offset of string literal

kroening · kroening · commit 00bf87c6206d · 2022-05-25T17:58:59.000+01:00
diff --git a/src/cprover/simplify_state_expr.cpp b/src/cprover/simplify_state_expr.cpp
@@ -594,6 +594,13 @@ exprt simplify_state_expr_node(
         return std::move(sum);
       }
     }
+    else if(pointer_offset_expr.pointer().id() == ID_address_of)
+    {
+      const auto &address_of_expr =
+        to_address_of_expr(pointer_offset_expr.pointer());
+      if(address_of_expr.object().id() == ID_string_constant)
+        return from_integer(0, pointer_offset_expr.type());
+    }
   }
   else if(src.id() == ID_pointer_object)
   {

Original file line number	Diff line number	Diff line change
`@@ -594,6 +594,13 @@ exprt simplify_state_expr_node(`
`594`	`594`	`return std::move(sum);`
`595`	`595`	`}`
`596`	`596`	`}`
	`597`	`+ else if(pointer_offset_expr.pointer().id() == ID_address_of)`
	`598`	`+ {`
	`599`	`+ const auto &address_of_expr =`
	`600`	`+ to_address_of_expr(pointer_offset_expr.pointer());`
	`601`	`+ if(address_of_expr.object().id() == ID_string_constant)`
	`602`	`+ return from_integer(0, pointer_offset_expr.type());`
	`603`	`+ }`
`597`	`604`	`}`
`598`	`605`	`else if(src.id() == ID_pointer_object)`
`599`	`606`	`{`