Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

COMPILER BUG: typechecker mutated node #82

Closed
jnfoster opened this issue Sep 13, 2016 · 1 comment
Closed

COMPILER BUG: typechecker mutated node #82

jnfoster opened this issue Sep 13, 2016 · 1 comment
Labels
bug This behavior is unintended and should be fixed.

Comments

@jnfoster
Copy link
Contributor

Trying to compile this bug.zip using the P4-16 compiler,

p4test current.p4

halts with an error:

terminate called after throwing an instance of 'Util::CompilerBug'
  what():  COMPILER BUG: ../frontends/p4/typeChecking/typeChecker.cpp:118
<P4Program>(2029): typechecker mutated node <P4Program>(1750)

It seems to be an issue with the cube expressions.

ps. sorry for the .zip file -- GitHub won't accept p4 uploads for some reason...
@jnfoster jnfoster changed the title typechecker mutated node COMPILER BUG: typechecker mutated node Sep 13, 2016
@ChrisDodd ChrisDodd added the bug This behavior is unintended and should be fixed. label Sep 14, 2016
@mihaibudiu
Copy link
Contributor

This bug should have been fixed; the relevant test case is testdata/p4_16_samples/mask.p4

@fefer fefer mentioned this issue Aug 7, 2018
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug This behavior is unintended and should be fixed.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jnfoster @ChrisDodd @mihaibudiu