Damus
Open in Damus
John Regehr profile picture
John Regehr
@John Regehr
working on a new compiler and I hadn’t really noticed before how many varieties of “side effect free” there are. there’s at least “safe to speculate,” “safe to eliminate,” and “safe to common, as in CSE”
1
Edwin Török · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzasqj5wht sometimes GCC goes a bit too far in eliminating things even when they have visible effects on the output of the program. For example it eliminated a `malloc/free` pair that was used to r...