Nate Foster
I believe I have the power. Done.
Human p4testgen ;-) On Fri, May 19, 2023 at 4:47 PM Andy Fingerhut ***@***.***> wrote: > @mihaibudiu Fortunately adding test cases > and checking their outputs is my p4c specialty!...
I agree this is unsound. It is only safe to propagate an equality `h.f = n` if `h` is valid. So the analysis needs to also track that...
In general, you're right. End-to-end, the entire compiler is free to generate an implementation that is a refinement the semantics of the input program. And there are lots of places...
Sure. The spec says that reading a field in an undefined header can return any value, and even a different value from one read to the next. I wrote unsound...
The spec says that reads to a field in an invalid header or where the field has not yet been initialized may return an arbitrary value. Writing to an invalid...
We will need to be careful if we want to ensure that l-values never have side effects. I am not even sure that's true of the current language design and...
@rst0git are you still interested in completing this feature? Do you need help with the `p4c` implementation?
@rst0git, can you let us know if you are still working on this? We'd be glad to see it added, but need to fix the side-effect issue...
For what it's worth, Petr4's local type inference scheme handles this.