Architecturally similar to can_forward_propagatet, but specialized for what is a constexpr, i.e., an expression that can be fully evaluated at compile time. More...

Collaboration diagram for is_compile_time_constantt:

Public Member Functions
	is_compile_time_constantt (const namespacet &ns)

bool	operator() (const exprt &e) const
	returns true iff the expression can be considered constant

Protected Member Functions
bool	is_constant (const exprt &e) const
	This function determines what expressions are to be propagated as "constants".

bool	is_constant_address_of (const exprt &e) const
	this function determines which reference-typed expressions are constant

Protected Attributes
const namespacet &	ns

Detailed Description

Architecturally similar to can_forward_propagatet, but specialized for what is a constexpr, i.e., an expression that can be fully evaluated at compile time.

Definition at line 4656 of file c_typecheck_expr.cpp.

Constructor & Destructor Documentation

◆ is_compile_time_constantt()

is_compile_time_constantt::is_compile_time_constantt ( const namespacet & ns )

inlineexplicit

Definition at line 4659 of file c_typecheck_expr.cpp.

Member Function Documentation

◆ is_constant()

bool is_compile_time_constantt::is_constant ( const exprt & e ) const

inlineprotected

This function determines what expressions are to be propagated as "constants".

Definition at line 4674 of file c_typecheck_expr.cpp.

◆ is_constant_address_of()

bool is_compile_time_constantt::is_constant_address_of ( const exprt & e ) const

inlineprotected

this function determines which reference-typed expressions are constant

Definition at line 4706 of file c_typecheck_expr.cpp.

◆ operator()()

bool is_compile_time_constantt::operator() ( const exprt & e ) const

inline

returns true iff the expression can be considered constant

Definition at line 4664 of file c_typecheck_expr.cpp.

Member Data Documentation

◆ ns

const namespacet& is_compile_time_constantt::ns

protected

Definition at line 4670 of file c_typecheck_expr.cpp.

The documentation for this class was generated from the following file:

/home/runner/work/cbmc/cbmc/src/ansi-c/c_typecheck_expr.cpp

Public Member Functions

Protected Member Functions

Protected Attributes