ml4ai / automates

AutoMATES: Automated Model Assembly from Text, Equations, and Software
https://ml4ai.github.io/automates
Other
25 stars 9 forks source link

[GCC2CAST] Handling of compound conditionals #302

Open cl4yton opened 2 years ago

cl4yton commented 2 years ago

In the GCC/Gimple to AST pipeline, we see that compound conditional (e.g., (cond1 && cond2) ) get split into sequentially handled conditions. These need to be recognized as compound, otherwise the CAST that gets generated will look like two sequential if-statements.