Memory leak from symbolic values.

[Henrich Lauko]

Problem with:

divine check --lart leak-check --symbolic ~/repo/sv-benchmarks/c/memsafety-ext3/freeAlloca_false-valid-free.c}}}

With patches from ~xstill/DIVINE/svc-2019, namely the leak-check patch. There is a spurious memory leak, probably related to --symbolic. A minimal example of the same error:
{{{
int __VERIFIER_nondet_int();

int main() {
    int x = __VERIFIER_nondet_int();
    int y = __VERIFIER_nondet_int();
    return 0;
}
}}}

As a sanity check, the previous minimal example with --lart svc-undef-nondet instead of --symbolic (this causes __VERIFIER_nondet_* to return undefined value) does not have any memory leaks.

[mornfall]

Milestone renamed