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

well-formed rules of fixed-length integers are loose #366

Open
pataei opened this issue Oct 9, 2022 · 1 comment
Open

well-formed rules of fixed-length integers are loose #366

pataei opened this issue Oct 9, 2022 · 1 comment
Labels
typechecker unsupported vs.P4 Petr4 limitation compared to P4

Comments

@pataei
Copy link
Collaborator

pataei commented Oct 9, 2022

Petr4 doesn't check the length of a fixed-length integer, either signed or unsigned. However, the P4 spec specifies that for signed integers the length must be more than 1 and for unsigned integers the length must be equal or more than zero.
@pataei pataei added typechecker unsupported vs.P4 Petr4 limitation compared to P4 labels Oct 9, 2022
@pataei
Copy link
Collaborator Author

pataei commented Oct 18, 2022

In P4light this is enforced statically.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
typechecker unsupported vs.P4 Petr4 limitation compared to P4
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pataei