[LLVMbugs] [Bug 18977] New: clang static analyser hangs during analysis of a block that calls itself

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18977
           Summary: clang static analyser hangs during analysis of a block
                    that calls itself
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: schneider at iosphere.de
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 12153
  --> http://llvm.org/bugs/attachment.cgi?id=12153&action=edit
zip archive with invocation and xcode project that can be used to reproduce the
bug

During Static analysis of the following code snippet clang hangs and will never
return.
Invocation and complete Xcode Project are attached.

Code snippet:
    void (^block)(void) = nil;

    for (int i = 0; i < 3; i++) {
        block = ^(void) {
            if (block) {
                block();
            }
        };
    }

    if (block) {
        block();
    }

Steps to reproduce:
Use Analyze in the attached Xcode Project.

OS version: OS X 10.9.2 

Clang version:
Apple LLVM version 5.0 (clang-500.2.79) (based on LLVM 3.3svn)
Target: x86_64-apple-darwin13.1.0
Thread model: posix

Xcode version: 5.0.2

-- 
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/20140226/959f9f67/attachment.html>