libFirm
|
This type is an auxiliary type dedicated to support type analyses. More...
Functions | |
ir_type * | get_none_type (void) |
Returns the none type. | |
int | is_none_type (const ir_type *type) |
Checks whether type type is the none type. | |
const tp_op * | get_tpop_none (void) |
Returns type opcode for none type. |
Variables | |
const tp_op * | tpop_none |
This type opcode is an auxiliary opcode dedicated to support type analyses. |
This type is an auxiliary type dedicated to support type analyses.
The none type represents that there is no type. The type can be used to initialize fields of type* that actually can not contain a type or that are initialized for an analysis. There exists exactly one type none. This type is not on the type list in ir_prog. It is allocated when initializing the type module.
The following values are set:
ir_type* get_none_type | ( | void | ) |
Returns the none type.
int is_none_type | ( | const ir_type * | type | ) |
Checks whether type type
is the none type.
const tp_op* tpop_none |
This type opcode is an auxiliary opcode dedicated to support type analyses.
Types with this opcode represents that there is no type. The type can be used to initialize fields of the type* that actually can not contain a type or that are initialized for an analysis. There exists exactly one type with this opcode.