Dat3M
Dat3M copied to clipboard
Problem with constant propagation
If CP is enabled, the assertion in this benchmark is completely removed, making the program trivially safe (which is not).
If CP is enabled, the assertion in this benchmark is completely removed, making the program trivially safe (which is not).