|
cprover
|
C++ Language Type Checking. More...
#include "cpp_typecheck.h"#include <util/arith_tools.h>#include <util/std_expr.h>#include <linking/zero_initializer.h>#include <util/c_types.h>#include <ansi-c/c_sizeof.h>#include "cpp_util.h"Go to the source code of this file.
C++ Language Type Checking.
Definition in file cpp_typecheck_initializer.cpp.