Stack underflow using obfuscate_constants about o-mvll HOT 4 CLOSED

Thanks @matbrik for the report. We will look into this and come back to you as soon as possible.

from o-mvll.

@matbrik, thanks for reporting, and please bear with us for coming back just now. I fixed the issue since we clearly cannot segfault when the original program did not, although be aware of how optimizers can pick their own choice in presence of UB in infinite loops in C++ (see: https://godbolt.org/z/1jv99es8P, llvm/llvm-project#60622).

from o-mvll.

@antoniofrighetto thanks for the fix, it effectively solves the problem in the case of while(1) but it segfaults in the same way if there is a for loop with a lot of iterations
for(int i=0;i<100000;i++){}
also I noticed in my tests that the flatten_cfg on a while(1) reaches the the top of the stack

Should I open a new issue or reopen this one?

from o-mvll.

@matbrik, unfortunately this is a bit of expected by design, as this is how the pass works. I think we could try preventing opaque within loops, but you would likely have the same issue with recursive functions. Feel free to open a new issue, I'll think about what we can do here.

from o-mvll.