ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_adjust_irep2::arm_info Struct Reference

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.

Detailed Description

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.

Member Data Documentation

◆ name

const char* clang_c_adjust_irep2::arm_info::name

◆ when

bool(* clang_c_adjust_irep2::arm_info::when) (const expr2tc &)

Null for an arm that is offered every node and guards itself.


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