Patrick Walton Retweeted John Regehr
Thread: Why compilers are hard, exhibit A.https://twitter.com/johnregehr/status/1097225240579436544 …
Patrick Walton added,
John Regehr @johnregehr
ugh.... spent a while tracking down a souper-related miscompilation and here's the root cause: SimplifyCFG considers it safe to speculatively execute a left-shift, causing f() to go from well-defined to returning poison when argument %1 is negative pic.twitter.com/FimNywhtUl
Show this thread
12:07 PM - 17 Feb 2019
0 replies
3 retweets
22 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.