search

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184 stars 169 forks source link

termination-recursive-malloc/chunk3.c: remove double free #1258

Closed tautschnig closed 3 years ago

tautschnig commented 3 years ago

The two pointers that were being passed to free hold the same value on all execution paths, thus 1) resulting in a double-free and 2) making the fix as simple as removing the second call to free.

Fixes: #1257