AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
79 stars 14 forks source link

Add stack space for recursive functions over a body #334

Closed Nadrieril closed 1 month ago

Nadrieril commented 1 month ago

These were discovered to cause stack overflow on functions with complex control flow.

sonmarcho commented 1 month ago

I'm not surprised: this is not the first time that I get a stack overflow because of the reconstruction of control-flow. (thanks!)