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 https://github.com/GabrielDosReis/ipr/commit/bd6467e200a405eb9942a7bf1f6a1cda970a8f99 removed it. How should IPR represent a for statement with missing components?
In C++, all parts of
Forare optional, but in IPR, the getter methods ofForalways wants to return something. If we do not fill one of the fields we will get an assertion fail. Previously, we used theEmpty_stmtto always fill those fields. But https://github.com/GabrielDosReis/ipr/commit/bd6467e200a405eb9942a7bf1f6a1cda970a8f99 removed it. How should IPR represent a for statement with missing components?