Michal Kekely

Switch statement: default label has to be last (according to specification)

1

Currently the default label of switch statement can be used in any order within the other labels. The frontend only treats this as warning: https://github.com/p4lang/p4c/blame/def92ac0a02318834f959cc7b4aa5d27efa82ae7/frontends/p4/validateParsedProgram.cpp#L197 However, according to the specification:...

Possible inconsistencies when using "getDeclarations()"

4

### Issue The issue is that iterating over `getDeclarations()` for example on `IR::P4Action` (or possibly other nodes) actually boils down to iterating over internal `ordered_map` of the parameter declarations held...