Dat3M icon indicating copy to clipboard operation
Dat3M copied to clipboard

Published 20 hours ago • verified publisher icon hernanponcedeleon

Problem with constant propagation

Open hernanponcedeleon opened this issue 1 year 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