Dat3M icon indicating copy to clipboard operation
Dat3M copied to clipboard
Published 2 months ago • verified publisher icon hernanponcedeleon

Problem with constant propagation

Open hernanponcedeleon opened this issue 3 years ago • 0 comments

If CP is enabled, the assertion in this benchmark is completely removed, making the program trivially safe (which is not).

hernanponcedeleon avatar Oct 28 '22 08:10 hernanponcedeleon