[LLVMbugs] [Bug 20571] New: FileCheck should clear variables on CHECK-LABEL

[bugzilla-daemon at llvm.org]

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

            Bug ID: 20571
           Summary: FileCheck should clear variables on CHECK-LABEL
           Product: Test Suite
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: lit
          Assignee: unassignedbugs at nondot.org
          Reporter: Matthew.Arsenault at amd.com
                CC: daniel at zuster.org, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Currently a variable captured before a CHECK-LABEL can match an attempted use
in a following label. This can result in unintended matches in what should be
an unrelated segment of code


; CHECK-LABEL: @func1
; CHECK: MOV [[FOO:1234]]
; CHECK: STORE [[FOO]]

; CHECK-LABEL: @func2
; CHECK: STORE [[FOO]] // Should be considered an undefined variable, but it
will match

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140806/40bbc798/attachment.html>