Re-enable access control checks

tautschnig · tautschnig · commit 44790d4a8c2b · 2018-06-12T23:23:37.000Z
diff --git a/src/cpp/cpp_typecheck_compound_type.cpp b/src/cpp/cpp_typecheck_compound_type.cpp
@@ -1487,13 +1487,11 @@ bool cpp_typecheckt::get_component(
         }
         else
         {
-          #if 0
           error().source_location=source_location;
-          str << "error: member `" << component_name
-              << "' is not accessible (" << component.get(ID_access) << ")";
-          str << "\nstruct name: " << final_type.get(ID_name);
+          error() << "error: member `" << component_name
+                  << "' is not accessible (" << component.get(ID_access) << ")"
+                  << eom;
           throw 0;
-          #endif
         }
       }
 
@@ -1523,12 +1521,10 @@ bool cpp_typecheckt::get_component(
         {
           if(check_component_access(component, final_type))
           {
-            #if 0
             error().source_location=source_location;
-            str << "error: member `" << component_name
-                << "' is not accessible";
+            error() << "error: member `" << component_name
+                    << "' is not accessible" << eom;
             throw 0;
-            #endif
           }
 
           if(object.get_bool(ID_C_lvalue))

Original file line number	Diff line number	Diff line change
`@@ -1487,13 +1487,11 @@ bool cpp_typecheckt::get_component(`
`1487`	`1487`	`}`
`1488`	`1488`	`else`
`1489`	`1489`	`{`
`1490`		`- #if 0`
`1491`	`1490`	`error().source_location=source_location;`
`1492`		- str << "error: member `" << component_name
`1493`		`- << "' is not accessible (" << component.get(ID_access) << ")";`
`1494`		`- str << "\nstruct name: " << final_type.get(ID_name);`
	`1491`	+ error() << "error: member `" << component_name
	`1492`	`+ << "' is not accessible (" << component.get(ID_access) << ")"`
	`1493`	`+ << eom;`
`1495`	`1494`	`throw 0;`
`1496`		`- #endif`
`1497`	`1495`	`}`
`1498`	`1496`	`}`
`1499`	`1497`
`@@ -1523,12 +1521,10 @@ bool cpp_typecheckt::get_component(`
`1523`	`1521`	`{`
`1524`	`1522`	`if(check_component_access(component, final_type))`
`1525`	`1523`	`{`
`1526`		`- #if 0`
`1527`	`1524`	`error().source_location=source_location;`
`1528`		- str << "error: member `" << component_name
`1529`		`- << "' is not accessible";`
	`1525`	+ error() << "error: member `" << component_name
	`1526`	`+ << "' is not accessible" << eom;`
`1530`	`1527`	`throw 0;`
`1531`		`- #endif`
`1532`	`1528`	`}`
`1533`	`1529`
`1534`	`1530`	`if(object.get_bool(ID_C_lvalue))`