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...
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 4570 of file c_typecheck_expr.cpp.
◆ is_compile_time_constantt()
| is_compile_time_constantt::is_compile_time_constantt |
( |
const namespacet & |
ns | ) |
|
|
inlineexplicit |
◆ 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 4588 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 4620 of file c_typecheck_expr.cpp.
◆ operator()()
| bool is_compile_time_constantt::operator() |
( |
const exprt & |
e | ) |
const |
|
inline |
◆ ns
The documentation for this class was generated from the following file:
Collaboration diagram for is_compile_time_constantt: