I would hope none, since no static analysis tool can make that assumption without knowing the exact compiler you're thinking about and a great deal else. This

I would hope none, since no static analysis tool can make that assumption without knowing the exact compiler you're thinking about and a great deal else. This is not the "expected" behavior; undefined behavior doesn't have an expected behavior. This is what the compiler at godbolt.com happens to generate for this particular code. At best, an analysis tool can warn that the code has undefined behavior.