Merge pull request #7962 from thomasspriggs/tas/const_cast_fixes

tautschnig · web-flow · commit db9c79979d34 · 2023-10-16T23:07:26.000+02:00
Fix a pair of issues where `const` was (unintentionally) cast away
diff --git a/src/cpp/cpp_using.h b/src/cpp/cpp_using.h
@@ -28,7 +28,7 @@ class cpp_usingt:public irept
 
   const cpp_namet &name() const
   {
-    return (cpp_namet &)find(ID_name);
+    return (const cpp_namet &)find(ID_name);
   }
 
   bool get_namespace() const
diff --git a/src/util/std_code.h b/src/util/std_code.h
@@ -1858,7 +1858,7 @@ class code_push_catcht:public codet
   }
 
   exception_listt &exception_list() {
-    return (exception_listt &)find(ID_exception_list).get_sub();
+    return (exception_listt &)add(ID_exception_list).get_sub();
   }
 
   const exception_listt &exception_list() const {

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ class cpp_usingt:public irept`
`28`	`28`
`29`	`29`	`const cpp_namet &name() const`
`30`	`30`	`{`
`31`		`- return (cpp_namet &)find(ID_name);`
	`31`	`+ return (const cpp_namet &)find(ID_name);`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`bool get_namespace() const`
Original file line number	Diff line number	Diff line change
`@@ -1858,7 +1858,7 @@ class code_push_catcht:public codet`
`1858`	`1858`	`}`
`1859`	`1859`
`1860`	`1860`	`exception_listt &exception_list() {`
`1861`		`- return (exception_listt &)find(ID_exception_list).get_sub();`
	`1861`	`+ return (exception_listt &)add(ID_exception_list).get_sub();`
`1862`	`1862`	`}`
`1863`	`1863`
`1864`	`1864`	`const exception_listt &exception_list() const {`