Unknown

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

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.
const tp_op *	get_tpop_unknown (void)
	Returns type opcode for unknown type.

Variables
const tp_op *	tpop_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:

• mode: mode_ANY
• name: "type_unknown"
• state: layout_fixed
• size: 0

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

const tp_op* tpop_unknown

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 2135 of file typerep.h.