[Bug tree-optimization/126848] Repeated reads of an indeterminate value do not yield the same value

"pinskia at gcc dot gnu.org via Gcc-bugs" <[email protected]>
Newsgroups gmane.comp.gcc.bugs
Message-ID <[email protected]/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126848

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
From ccp1 dump:
```

Visiting statement:
a_2 = .DEFERRED_INIT (4, 3, &"a"[0]);
which is likely UNDEFINED
Lattice value changed to UNDEFINED.  Adding SSA edges to worklist.
marking stmt to be not simulated again
...

Visiting statement:
x_5 = a_2;
which is likely UNDEFINED
Lattice value changed to UNDEFINED.  Adding SSA edges to worklist.
marking stmt to be not simulated again
Adding destination of edge (3 -> 5) to worklist

Simulating block 5

Visiting PHI node: x_1 = PHI <x_5(3), x_4(4)>
        Argument #0 (3 -> 5 executable)
        x_5     Value: UNDEFINED
        Argument #1 (4 -> 5 executable)
        x_4     Value: CONSTANT 1

    PHI node value: CONSTANT 1

Lattice value changed to CONSTANT 1.  Adding SSA edges to worklist.
marking stmt to be not simulated again
```

So maybe a_2  should have been varrying rather than undefined.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.