[CIL users] -Wl,--export-dynamic problem in CIL 1.3.7

Hello, It seems that CIL 1.3.7 gets confused when a program passes something like -Wl,--export-dynamic, while CIL 1.3.6 did not show this problem. I'm attaching a testcase that demonstrates this. Although we issue: cilly -o test_main_merged_last -Wl,--export-dynamic test_main_merged_last_main.

[CIL users] Problems with gotos inserted by CIL

CIL doesn't check the uniqueness of label names it uses when unfolding short-circuiting boolean operators. This can lead to problems if you already have a label named "_L" in your program. I've attached a tiny example that gets converted from a stupid but harmless program into a an infinite loop be