|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
One arm of the dispatch, as much of it as a caller may see: what it is called, and the guard deciding whether it claims a node. More...
#include <clang_c_adjust_irep2.h>
Public Attributes | |
| const char * | name |
| bool(* | when )(const expr2tc &) |
| Null for an arm that is offered every node and guards itself. | |
One arm of the dispatch, as much of it as a caller may see: what it is called, and the guard deciding whether it claims a node.
The rewrite itself stays private – an arm run out of its place in the order produces a wrongly-adjusted expression, so there is nothing to gain by exposing it, and adjust_expr already reaches every arm's behaviour.
| const char* clang_c_adjust_irep2::arm_info::name |
Null for an arm that is offered every node and guards itself.