Predicate IRTypeConsistency::missingCppType
Consistency query to detect C++ Type objects which have no corresponding CppType object.
Import path
import semmle.code.cpp.ir.IRpredicate missingCppType(Type type, string message)Consistency query to detect C++ Type objects which have no corresponding CppType object.
import semmle.code.cpp.ir.IRpredicate missingCppType(Type type, string message)