Fix null dereference bug in cpp_typecheck_compound_type.cpp

reuk · reuk · commit 194ac7cf1703 · 2017-11-24T18:09:24.000Z
diff --git a/src/cpp/cpp_typecheck_compound_type.cpp b/src/cpp/cpp_typecheck_compound_type.cpp
@@ -1271,7 +1271,7 @@ void cpp_typecheckt::typecheck_member_function(
       method_qualifier);
   }
 
-  if(value.id()=="cpp_not_typechecked")
+  if(value.id() == "cpp_not_typechecked" && value.has_operands())
     move_member_initializers(initializers, type, value.op0());
   else
     move_member_initializers(initializers, type, value);

Original file line number	Diff line number	Diff line change
`@@ -1271,7 +1271,7 @@ void cpp_typecheckt::typecheck_member_function(`
`1271`	`1271`	`method_qualifier);`
`1272`	`1272`	`}`
`1273`	`1273`
`1274`		`- if(value.id()=="cpp_not_typechecked")`
	`1274`	`+ if(value.id() == "cpp_not_typechecked" && value.has_operands())`
`1275`	`1275`	`move_member_initializers(initializers, type, value.op0());`
`1276`	`1276`	`else`
`1277`	`1277`	`move_member_initializers(initializers, type, value);`