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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Wed Mar 12 15:35:56 PDT 2008


           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

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