libFirm
|
Functions | |
ir_type * | get_unknown_type (void) |
Returns the unknown type. | |
int | is_unknown_type (const ir_type *type) |
Checks whether type type is the unknown type. | |
This type is an auxiliary type dedicated to support type analyses.
The unknown type represents that there could be a type, but it is not known. This type can be used to initialize fields before an analysis (not known yet) or to represent the top of a lattice (could not be determined). There exists exactly one type unknown. 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_unknown_type | ( | void | ) |
Returns the unknown type.
int is_unknown_type | ( | const ir_type * | type | ) |
Checks whether type type
is the unknown type.