avoid defining assert function

Call it __VERIFIER_assert instead. Like in the other benchmarks. This
allows tools to include assert.h properly.

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@361 770dfece-24ca-4306-9060-4abab334d2a5
loops: initialize uninitalized

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@362 770dfece-24ca-4306-9060-4abab334d2a5
bitvector: fix all uninitialized accesses

Now symbiotic gives no false answers on these benchmarks 8-).

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@363 770dfece-24ca-4306-9060-4abab334d2a5
ldv: initialize more uninitialized variables

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@364 770dfece-24ca-4306-9060-4abab334d2a5
ntdrivers/cdaudio_unsafe.i.cil.c: fix final symbiotic fallout

This is the last one where we give incorrect results. Fix that by
intializing memory that is allocated and accessed without prior
initialization.

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@365 770dfece-24ca-4306-9060-4abab334d2a5
Avoiding _Thread_local by  sed -i 's/_Thread_local/__thread/' pthread-ext/*, by Michael Tautschnig

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@366 770dfece-24ca-4306-9060-4abab334d2a5
Cleanup: remove duplicates, requested by Bernd

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@367 770dfece-24ca-4306-9060-4abab334d2a5
Remove from competition category because of initialization problem, requested by Bernd

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@368 770dfece-24ca-4306-9060-4abab334d2a5
Remove from competition category because of initialization problem, requested by Bernd

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@369 770dfece-24ca-4306-9060-4abab334d2a5
Fix for a div-by-0 problem, found and fixed by Michael Tautschnig

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@370 770dfece-24ca-4306-9060-4abab334d2a5
Patch that frees memory at the end of some programs, provided by Stephan Falke

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c@371 770dfece-24ca-4306-9060-4abab334d2a5