Kyle Cripps

Compiler fails to reject passing of non-compile-time-known values as arguments to directionless parameters of non-actions

3

Per P4-16 spec: > For anything other than an action, e.g. a control, parser, or function, a directionless parameter means that the value supplied as an argument in a call...

Crash when `switch` expression is a constant-valued directionless argument

1

Building the following P4 program with `p4test`: ``` void bar(bit x, out bit y) { switch (x) { 0b01: { y = 2; } 0b10: { y = 3; }...