[LLVMbugs] [Bug 12270] New: (with ARC) Assertion failed: (isReachableFromEntry(DefBB) && isReachableFromEntry(UseBB) && "We only handle reachable blocks"), function dominates, file Dominators.cpp, line 92.

[bugzilla-daemon at llvm.org]

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

             Bug #: 12270
           Summary: (with ARC) Assertion failed:
                    (isReachableFromEntry(DefBB) &&
                    isReachableFromEntry(UseBB) && "We only handle
                    reachable blocks"), function dominates, file
                    Dominators.cpp, line 92.
           Product: libraries
           Version: trunk
          Platform: Macintosh
        OS/Version: FreeBSD
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: chmeeedalf at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8210
  --> http://llvm.org/bugs/attachment.cgi?id=8210
Preprocessed input file.

This file successfully compiles with -O1 or greater, but fails with the below
assertion with -O0.

Test program:

#include <objc/runtime.h>
@class NSString;

@interface Test
+ (id) new;
@end
@implementation Test
+ (id) new
{
        return nil;
}

- (NSString *)foo
{
        @throw [Test new];
        return nil;
}

@end


Compile:
[narn]:~> clang -pipe test.m -c -I/usr/local/include -fobjc-abi-version=3
-fobjc-exceptions -fobjc-arc -O0 -v
clang version 3.1 (trunk 152715)
Target: powerpc-unknown-freebsd10.0
Thread model: posix
 "/usr/clang/bin/clang" -cc1 -triple powerpc-unknown-freebsd10.0 -S
-disable-free -main-file-name test.m -mrelocation-model static
-mdisable-fp-elim -mconstructor-aliases -momit-leaf-frame-pointer -v
-coverage-file /tmp/test-pDkBZ6.s -resource-dir /usr/clang/bin/../lib/clang/3.1
-I /usr/local/include -fmodule-cache-path /var/tmp/clang-module-cache -O0
-fno-dwarf-directory-asm -fdebug-compilation-dir /home/chmeee -ferror-limit 19
-fmessage-length 191 -mstackrealign -fno-signed-char -fgnu-runtime
-fobjc-runtime-has-arc -fobjc-runtime-has-weak -fobjc-arc -fobjc-exceptions
-fexceptions -fdiagnostics-show-option -fcolor-diagnostics -o
/tmp/test-pDkBZ6.s -x objective-c test.m
clang -cc1 version 3.1 based upon LLVM 3.1svn default target
powerpc-unknown-freebsd10.0
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include
 /usr/clang/bin/../lib/clang/3.1/include
 /usr/include
End of search list.
Assertion failed: (isReachableFromEntry(DefBB) && isReachableFromEntry(UseBB)
&& "We only handle reachable blocks"), function dominates, file Dominators.cpp,
line 92.
Stack dump:
0.      Program arguments: /usr/clang/bin/clang -cc1 -triple
powerpc-unknown-freebsd10.0 -S -disable-free -main-file-name test.m
-mrelocation-model static -mdisable-fp-elim -mconstructor-aliases
-momit-leaf-frame-pointer -v -coverage-file /tmp/test-pDkBZ6.s -resource-dir
/usr/clang/bin/../lib/clang/3.1 -I /usr/local/include -fmodule-cache-path
/var/tmp/clang-module-cache -O0 -fno-dwarf-directory-asm
-fdebug-compilation-dir /home/chmeee -ferror-limit 19 -fmessage-length 191
-mstackrealign -fno-signed-char -fgnu-runtime -fobjc-runtime-has-arc
-fobjc-runtime-has-weak -fobjc-arc -fobjc-exceptions -fexceptions
-fdiagnostics-show-option -fcolor-diagnostics -o /tmp/test-pDkBZ6.s -x
objective-c test.m 
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module 'test.m'.
4.      Running pass 'ObjC ARC contraction' on function '@_i_Test__foo'
clang: error: unable to execute command: Abort trap: 6 (core dumped)
clang: error: clang frontend command failed due to signal (use -v to see
invocation)
clang: note: diagnostic msg: Please submit a bug report to
http://llvm.org/bugs/ and include command line arguments and all diagnostic
information.
clang: note: diagnostic msg: Preprocessed source(s) and associated run
script(s) are located at:
clang: note: diagnostic msg: /tmp/test-eegCJ1.mi
clang: note: diagnostic msg: /tmp/test-eegCJ1.sh
e: diagnostic msg: /tmp/test-9guMhf.sh

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