[LLVMbugs] [Bug 5226] Verifier should reject store to constant global

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Sat Oct 17 06:48:27 PDT 2009


Duncan Sands <baldrick at free.fr> changed:

           What    |Removed                     |Added
                 CC|                            |baldrick at free.fr
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #1 from Duncan Sands <baldrick at free.fr>  2009-10-17 08:48:25 ---
If this was invalid, then all kinds of optimization passes would generate
invalid IR via simplifications that expose the fact you are storing to a
constant when previously it was hidden.  Invalid != undefined behaviour.

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list