GabrielDosReis/ipr

How to work with For?

Closed this issue · 0 comments

In C++, all parts of For are optional, but in IPR, the getter methods of For always wants to return something. If we do not fill one of the fields we will get an assertion fail. Previously, we used the Empty_stmt to always fill those fields. But bd6467e removed it. How should IPR represent a for statement with missing components?