cprover
Loading...
Searching...
No Matches
cpp_typecheck.cpp File Reference

C++ Language Type Checking. More...

#include "cpp_typecheck.h"
#include <util/pointer_expr.h>
#include <util/source_location.h>
#include <util/symbol_table.h>
#include <ansi-c/builtin_factory.h>
#include <ansi-c/gcc_version.h>
#include "cpp_declarator.h"
#include "cpp_util.h"
#include "expr2cpp.h"
Include dependency graph for cpp_typecheck.cpp:

Go to the source code of this file.

Functions

bool cpp_typecheck (cpp_parse_treet &cpp_parse_tree, symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler)
bool cpp_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns)

Detailed Description

C++ Language Type Checking.

Definition in file cpp_typecheck.cpp.

Function Documentation

◆ cpp_typecheck() [1/2]

bool cpp_typecheck ( cpp_parse_treet & cpp_parse_tree,
symbol_table_baset & symbol_table,
const std::string & module,
message_handlert & message_handler )

Definition at line 137 of file cpp_typecheck.cpp.

◆ cpp_typecheck() [2/2]

bool cpp_typecheck ( exprt & expr,
message_handlert & message_handler,
const namespacet & ns )

Definition at line 148 of file cpp_typecheck.cpp.