raph-amiard/Z3 — comment on commit 21b3b6b250a21f6ce71e99277006e6f8c2c2e2bb
File: src/GenBlock.cpp line 416
By raph-amiard:

I'm not sure but i think this is wrong :

- First you shouldn't cast the value of an llvm CreateCall because it's an llvm:Value
- Second i think you are mixing up runtime and compilation time. Env has no real value at this point. What you want to do is to make the arithmetic operations on Env at runtime, which means, either generate the llvm instructions to do that, or wrap it in a StdLib function