Make sure to read the first comment of the post, the poster wrote a number of nonsensical things ;) The compiler does not try at all to analyze the loop to und

Make sure to read the first comment of the post, the poster wrote a number of nonsensical things ;) The compiler does not try at all to analyze the loop to understand if this can exit or not, because it can do this only for very trivial cases. Instead since the variables are not references after the loop, the loop is ignored as it does not matter what will happen, but the outcome of the computation will never be used, so it can be skipped at all.