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