Skip to content

LDV: stack-allocate var_group* as they are passed to memcmp

🤖 SoSy-Bot 🤖 requested to merge github/fork/tautschnig/init-var_group-6 into master

Created by: tautschnig

CBMC reports counterexamples as access to non-existent objects in memcmp is undefined behaviour. Use local variables instead of pointers in main to ensure the necessary var_group* objects exist.

Merge request reports