Gauntlet reports fail on a program using lookahead with header type

[mvido]

Gauntlet is reporting a failure in ExpandLookahead pass for a program pna-example-dpdk-varbit.p4.txt which is a modification of https://github.com/p4lang/p4c/blob/main/testdata/p4_16_samples/pna-example-dpdk-varbit.p4 (this modification is also available in draft PR: #3015), the details can be seen in the output of CI run: https://github.com/p4lang/p4c/runs/4695836576?check_suite_focus=true

This program was added to the test suite as https://github.com/p4lang/p4c/blob/main/testdata/p4_16_samples/pna-issue3041.p4 by PR: #3042

Validate job is currently broken (@fruffy is fixing it by #3043).
The same failure will be probably reported by Gauntlet for this https://github.com/p4lang/p4c/blob/main/testdata/p4_16_samples/pna-issue3041.p4 program when validate job is fixed in #3043.

[mihaibudiu]

@fruffy is this solved?

[fruffy]

No, unfortunately I did not have the time to fix this yet. The parser validation of Gauntlet is unstable after the rewrite. I should disable it until I have properly implemented it.