GitLab

In this construct, no __gcov_dump was added before, leading to incomplete coverage measurements:

void reach_error() { __assert_fail(...) }

Do not expect a newline before an abort, or the abort to be indented.

Resolve "Change program instrumentation to clang libtooling"

Closes #26, #27, #25, and #24

See merge request !13

We previously checked only for ' name', which missed the asterisk right before the name.

This is enough to get all parents.

Global values are constant, so there's no use in adding goal-labels there. In addition, labels
can not always be added.
Example:

enum
{
  a = ((0) < 8 ? ((1 << (0)) << 8) : ((1 << (0)) >> 8)),
  b = ((1) < 8 ? ((1 << (1)) << 8) : ((1 << (1)) >> 8)),
};

It is not possible to add labels in these ternary operators, because we can not create expression blocks.

Something like 'ERROR: { reach_error(); }'

Example:
  if (p)
    if (p)
      for (;i< 0;)
        stmt;

Did not produce valid C programs before, because the code rewriter
did not correctly write before/after,
and because the end of control structures was not computed correctly.
This commit fixes both.

reformat

Takes up double the space, otherwise

Disable all default checks, only add braces.
This is a fundamental speed improvement (up to factor 50x in very simple experiments).

Required by pytest

So that label-adder works on all of the CI images without recompilation

Job is killed repeatedly because of very high memory usage

For better semantic separation of actual checks and pre- and
post-processing