libFirm 1.20
Unknown

This type is an auxiliary type dedicated to support type analyses. More...

Functions

ir_typeget_unknown_type (void)
 Returns the unknown type.
int is_unknown_type (const ir_type *type)
 Checks whether type type is the unknown type.
const tp_opget_tpop_unknown (void)
 Returns type opcode for unknown type.

Variables

const tp_optpop_unknown
 This type opcode is an auxiliary opcode dedicated to support type analyses.

Detailed Description

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:


Function Documentation

const tp_op* get_tpop_unknown ( void  )

Returns type opcode for unknown type.

See also:
tpop_unknown
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.


Variable Documentation

This type opcode is an auxiliary opcode dedicated to support type analyses.

Types with this opcode 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 with this opcode.

Definition at line 2136 of file typerep.h.