nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzasqj5wht sometimes GCC goes a bit too far in eliminating things even when they have visible eff...
@nprofile1q... this is only a new compiler, not a new language! we're proving it correct, which means that we need to write down a careful set of rules for what programs mean. of course none of this addresses the problem of coming up with the right definition for correct program behavior...
1