Reading undefined memory locations #539
Labels
C: Prog Analysis
Related to formal analysis, SMT, etc.
C: Scheduling
The scheduling language and APIs
S: Needs Discussion
This needs discussion to decide if important to work
There is two potential views on this from a front-end prespective:
Same views on this from the rewrite presepctive:
I think (1) is much safer to uphold in the compiler and I don't have an example why (2) might be useful.
There is also the issue where currently neither the frontend or the rewrites currently uplhold either.
For example, this is an acceptable program by the front-end:
stage_mem
can propagate undefined values to proc arguments: #527 (comment)We need anaylsis support for this. @yamaguchi1024 @gilbo can you take a look this to consider it for the analysis revamp?
The text was updated successfully, but these errors were encountered: