Language.C.Analysis.SemRep

Composite type definitions (tags)

return the type corresponding to a tag definition

All datatypes aggregating a declaration are instances of Declaration

get the variable identifier of a declaration (only safe if the the declaration is known to have a name)

get the variable name of a Declaration

get the type of a Declaration

get the declaration attributes of a Declaration

identifiers, typedefs and enumeration constants (namespace sum)

textual description of the kind of an object

splitIdentDecls includeAllDecls splits a map of object, function and enumerator declarations and definitions into one map holding declarations, and three maps for object definitions, enumerator definitions and function definitions. If includeAllDecls is True all declarations are present in the first map, otherwise only those where no corresponding definition is available.

global declaration/definition table returned by the analysis

empty global declaration table

filter global declarations

merge global declarations

Declaration events

Those events are reported to callbacks, which are executed during the traversal.

Declarations, which aren't definitions

Object Definitions

An object definition is a declaration together with an initializer.

If the initializer is missing, it is a tentative definition, i.e. a definition which might be overriden later on.

Returns True if the given object definition is tentative.

Function definitions

A function definition is a declaration together with a statement (the function body).

Parameter declaration

Struct/Union member declaration

typedef definitions.

The identifier is a new name for the given type.

return the idenitifier of a typedef

Generic variable declarations

Declaration attributes of the form DeclAttrs isInlineFunction storage linkage attrs

They specify the storage and linkage of a declared object.

get the `function attributes' of a declaration

Storage duration and linkage of a variable

get the Storage of a declaration

Linkage: Either no linkage, internal to the translation unit or external

return True if the object has linkage

Get the linkage of a definition

types of C objects

Function types are of the form FunType return-type params isVariadic.

If the parameter types aren't yet known, the function has type FunTypeIncomplete type attrs.

An array type may either have unknown size or a specified array size, the latter either variable or constant. Furthermore, when used as a function parameters, the size may be qualified as static. In a function prototype, the size may be `Unspecified variable size' ([*]).

typdef references If the actual type is known, it is attached for convenience

normalized type representation

Builtin type (va_list, anything)

integral types (C99 6.7.2.2)

floating point type (C99 6.7.2.2)

accessor class : struct/union/enum names

accessor class : composite type tags (struct or union)

composite type declarations

Composite type (struct or union).

return the type of a composite type definition

a tag to determine wheter we refer to a struct or union, see CompType.

Representation of C enumeration types

return the type of an enum definition

An Enumerator consists of an identifier, a constant expressions and the link to its type

Type qualifiers: constant, volatile and restrict

no type qualifiers

merge (&&) two type qualifier sets

VarName name assembler-name is a name of an declared object

Assembler name (alias for CStrLit)

attribute annotations

Those are of the form Attr attribute-name attribute-parameters, and serve as generic properties of some syntax tree elements.

Some examples:

• labels can be attributed with unused to indicate that their not used

• struct definitions can be attributed with packed to tell the compiler to use the most compact representation

• declarations can be attributed with deprecated

• function declarations can be attributes with noreturn to tell the compiler that the function will never return,

• or with const to indicate that it is a pure function

TODO: ultimatively, we want to parse attributes and represent them in a typed way

Empty attribute list

Merge attribute lists TODO: currently does not remove duplicates

Stmt is an alias for CStat (Syntax)

Expr is currently an alias for CExpr (Syntax)

Initializer is currently an alias for CInit.

We're planning a normalized representation, but this depends on the implementation of constant expression evaluation

Top level assembler block (alias for CStrLit)