cil

cil copied to clipboard

Keep side-effect-less expression statements when wanted

1

This is an even simpler version of #140. CIL removes side-effect-less standalone expressions completely, but this makes Goblint unsound as it misses a race. For example in ```c #include #include...

sim642

On OS X, calls to functions such as `strcpy` are usually replaced by functions like `__builtin___strcpy_chk`, which perform additional bounds checking through `__builtin_object_size`. When analyzing such string manipulating functions, Goblint...

nathanschmidt

Extern inline functions are handled incorrectly when `merge_inlines` is `false`

3

When `merge_inlines` is `false`, extern inline functions that are used several times produce one CFG with as many duplicate paths as there are usages. Here is an example to reproduce:...

karoliineh