Closed filipeom closed 2 months ago
Compiling everything with -O0 seems to fix the parsing error, but:
dune exec -- owi c bench/testcomp/sv-benchmarks/c/ldv-regression/test22-3.c -O0
All OK%
Oh ok, it's because inlining _or
in https://github.com/OCamlPro/owi/commit/da85f7bb8355982721846812b40ae6117274da8b uses locals that don't exist. #380 should close this
Fixed by #388.
With clang 16:
In
results-testcomp-owi_w24_O3_sZ3-2024-07-17_00h31m16
this previously passed