lli unreliable?

lli executed the bytecode corresponding to test_3.0_ml.ll without a
failure, even though Function() is accessing an invalid memory
address. The original code is in test_3.0.c, and the malloc() in
Create() has been replaced by alloca() in test_3.0_ml.ll.

I expected lli to segfault or similar when testing my code. Are my
assumptions erroneous?

test_3.0.c (1009 Bytes)

test_3.0_ml.ll (1.15 KB)

I expected lli to segfault or similar when testing my code. Are my
assumptions erroneous?

Uhh... you are invoking undefined behavior. What LLI does, therefore, is
undefined. :slight_smile:

-Chris