[LLVMbugs] [Bug 2144] New: Verifier allows invalid aliases

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Verifier allows invalid aliases
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Keywords: accepts-invalid
          Severity: normal
          Priority: P2
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: daniel at zuster.org
                CC: llvmbugs at cs.uiuc.edu


The verifier check for aliases is not strong enough, in particular it does not
check that the aliasee is a function or variable. Patch and test case attached.

I'm assuming that the (assembly language) documentation is correct and that
aliases to aliases are illegal. However, there is an issue in that the
documentation says that bitcasts of global *values* are legal. I think should
be bitcasts of global variables or functions, but this is not reflected in my
patch.


-- 
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.