Unknown

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

Functions
ir_type *	get_unknown_type (void)
	Returns the unknown type. More...
int	is_unknown_type (const ir_type *type)
	Checks whether type type is the unknown type. More...

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

ir_type* get_unknown_type

(

void

)

Returns the unknown type.

Referenced by new_rd_Builtin(), and new_rd_Call().

int is_unknown_type

(

const ir_type *

type

)

Checks whether type type is the unknown type.