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

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=5226


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.