package goblint-cil

The main entry point

Turn on tranformation that forces correct parameter evaluation order

Set this integer to the index of the global to be left in CABS form. Use * -1 to disable

Indicates whether we're allowed to duplicate small chunks of code.

If false, the destination of a Call instruction should always have the same type as the function's return type. Where needed, CIL will insert a temporary to make this happen.

If true, the destination type may differ from the return type, so there is an implicit cast. This is useful for analyses involving malloc, because the instruction "T* x = malloc(...);" won't be broken into two instructions, so it's easy to find the allocation type.

This is false by default. Set to true to replicate the behavior of CIL 1.3.5 and earlier.

Disables caching of globals during parsing. This is handy when we want * to parse additional source files without hearing about confclits.

A hook into the code for processing typeof.

A hook into the code that creates temporary local vars. By default this is the identity function, but you can overwrite it if you need to change the types of cabs2cil-introduced temp variables.

Like typeForInsertedVar, but for casts. * Casts in the source code are exempt from this hook.

A hook into the code that merges arguments in function types.

A hook into the code that merges arguments in function attributes.