mirror of
https://github.com/grin-compiler/grin.git
synced 2024-09-11 15:37:54 +03:00
minimized dce bug sample
This commit is contained in:
parent
f998b5ebe9
commit
05983c9728
11
bugs/dead-code-elimination/dce_minimal_bug.grin
Normal file
11
bugs/dead-code-elimination/dce_minimal_bug.grin
Normal file
@ -0,0 +1,11 @@
|
||||
{-
|
||||
RUN:
|
||||
stack exec -- grin dce_minimal_bug.grin --bn --pni --cby --lva -p -e --pe --dce -p
|
||||
-}
|
||||
|
||||
grinMain =
|
||||
result_main <- Main.main1 $ -- BUG: DCE removes this line ; Main.main1 is effectful
|
||||
_prim_int_print $ 0
|
||||
|
||||
Main.main1 =
|
||||
_prim_int_print $ 1
|
Loading…
Reference in New Issue
Block a user