Merge pull request #6632 from tautschnig/cleanup/property

kroening · web-flow · commit a2e51b61ca96 · 2022-03-01T18:26:28.000Z
Remove spurious use of ID_property
diff --git a/src/goto-programs/goto_convert.cpp b/src/goto-programs/goto_convert.cpp
@@ -834,7 +834,6 @@ void goto_convertt::convert_assert(
 
   goto_programt::targett t =
     dest.add(goto_programt::make_assertion(cond, code.source_location()));
-  t->source_location_nonconst().set(ID_property, ID_assertion);
   t->source_location_nonconst().set("user-provided", true);
 }
 
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -25,7 +25,6 @@ IREP_ID_ONE(file)
 IREP_ID_ONE(line)
 IREP_ID_ONE(column)
 IREP_ID_ONE(comment)
-IREP_ID_ONE(property)
 IREP_ID_ONE(property_class)
 IREP_ID_ONE(property_id)
 IREP_ID_ONE(function)

Original file line number	Diff line number	Diff line change
`@@ -834,7 +834,6 @@ void goto_convertt::convert_assert(`
`834`	`834`
`835`	`835`	`goto_programt::targett t =`
`836`	`836`	`dest.add(goto_programt::make_assertion(cond, code.source_location()));`
`837`		`- t->source_location_nonconst().set(ID_property, ID_assertion);`
`838`	`837`	`t->source_location_nonconst().set("user-provided", true);`
`839`	`838`	`}`
`840`	`839`