Lukáš Zaoral

Currently, GCC plugin is not tested since it's broken at the moment and I have no idea what's actually wrong with it.

I started to look into the first issue so that we use the linked location info in the traces: ```llvm MO71[16] allocated at main(): %9 = call noalias i8* @malloc(i64...

@mchalupa It looks like https://github.com/mchalupa/dg/commit/220b22bf5b7d9b1d3f4a61b271d85ffac68e66fc was committed accidentally (probably a mistake during a rebase?) as the same piece of code is already present in the given file but with additional...

@trtikm, this PR requires latest `HEAD` of https://github.com/mchalupa/dg/tree/master.

Made obsolete by #231.

As long as clang emits the mentioned warning it's not a big problem. Anyway, thanks for the swift reply!

I've updated the issue to include LLVM 13 as well.

All PRs to KLEE's upstream have been merged! 🥳

I've updated the issue to include LLVM 14 as well since 14.0.0-rc1 is scheduled for Feb 4 and final release for Mar 15.

I have tried the given code with latest symbiotic, but the issue still persists. ``` $ symbiotic --prp=memsafety test-0005.c 7.0.0-dev-llvm-10.0.0-symbiotic:630bd299-dg:8fd21926-sbt-slicer:ce747eca-sbt-instrumentation:ff 5d8b3f-klee:63cf2760 INFO: Looking for invalid dereferences, invalid free, memory leaks,...