De-deprecated source_locationt methods

tautschnig · tautschnig · commit 8a27a9226c87 · 2023-12-20T14:01:06.000Z
diff --git a/src/util/source_location.h b/src/util/source_location.h
@@ -60,7 +60,7 @@ class source_locationt:public irept
   //    to adjust all source locations.
   // 3) The name of the function is not strictly a source location.
   // It will be removed.
-  DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))
+  // DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))
   const irep_idt &get_function() const
   {
     return get(ID_function);
@@ -126,7 +126,7 @@ class source_locationt:public irept
     set(ID_column, column);
   }
 
-  DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))
+  // DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))
   void set_function(const irep_idt &function)
   {
     set(ID_function, function);

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ class source_locationt:public irept`
`60`	`60`	`// to adjust all source locations.`
`61`	`61`	`// 3) The name of the function is not strictly a source location.`
`62`	`62`	`// It will be removed.`
`63`		`- DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))`
	`63`	`+ // DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))`
`64`	`64`	`const irep_idt &get_function() const`
`65`	`65`	`{`
`66`	`66`	`return get(ID_function);`
`@@ -126,7 +126,7 @@ class source_locationt:public irept`
`126`	`126`	`set(ID_column, column);`
`127`	`127`	`}`
`128`	`128`
`129`		`- DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))`
	`129`	`+ // DEPRECATED(SINCE(2022, 10, 13, "use identifier of containing function"))`
`130`	`130`	`void set_function(const irep_idt &function)`
`131`	`131`	`{`
`132`	`132`	`set(ID_function, function);`