3 ms·
How do you decide if i+1 is UB or not, unless the abstract machine reaches that line with a given value of i?
by leni536 4y ago
How do you decide if i+1 is UB or not, unless the abstract machine reaches that line with a given value of i?
- marcosdumay 4y agoIf you write i+1 anywhere on your code, the compiler is free to assume i is different from the maxumim value and rewrite your code with that in mind. If you are not satisfied, you can read the article's references (there are 2 for unreacheable code). Or any article about UB here for the last 20 years.