You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In cpp_typecheck_compound_type.cpp, the op0 of an exprt with id cpp_no_typechecked is passed to another function, but cpp_not_typechecked does not have operands and therefore the call to front() returns a nullptr.