Feature request: support for matching declarations and conditional expressions in specification automata
The bracket-based matching like MATCH { $1 = $2 + $3 }
only works with assignment statements and function calls, but not with declarations or conditional expressions.Thus, there is no possibility to match conditional statements or some return statements(e.g. return m + 1
) in this way. The quote-based matching aims for direct matching of the control-flow edge and it does not support wildcards, which is a limitation.
Therefore, I request support for matching declarations and conditional expressions in bracket-based matching.
Edited by Ji Renjie