[LLVMbugs] [Bug 7477] New: crash in checker-242 with __attribute__((packed)) enum typedef

[bugzilla-daemon at llvm.org]

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

           Summary: crash in checker-242 with __attribute__((packed)) enum
                    typedef
           Product: clang
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tjw at omnigroup.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=5098)
 --> (http://llvm.org/bugs/attachment.cgi?id=5098)
test case

This code is probably questionable (haven't tracked down if there is any good
reason for this __attribute__ usage), but it seems like it shouldn't crash.
llvm-gcc-4.2 and clang (from Xcode 3.2.3) compile it w/o warning; only the
checker has an issue.

/Volumes/Space/Shared/bungi/Downloads/checker-242/bin/clang -x objective-c
--analyze test.m

Assertion failed: (BitWidth == RHS.BitWidth && "Bit widths must be same for
comparison"), function ult, file /tmp/checker-242-src/lib/Support/APInt.cpp,
line 519.Stack dump:0.    Program arguments:
/Volumes/Space/Shared/bungi/Downloads/checker-242/bin/clang -cc1 -triple
x86_64-apple-darwin10.0.0 -analyze -disable-free -main-file-name test.m
-analyzer-store=region -analyzer-opt-analyze-nested-blocks
-analyzer-check-dead-stores -analyzer-check-objc-mem -analyzer-eagerly-assume
-analyzer-check-objc-methodsigs -analyzer-check-objc-unused-ivars
-analyzer-output plist -w -pic-level 1 -mdisable-fp-elim -masm-verbose
-munwind-tables -target-cpu core2 -resource-dir
/Volumes/Space/Shared/bungi/Downloads/checker-242/lib/clang/2.0 -ferror-limit
19 -fmessage-length 258 -stack-protector 1 -fblocks -fexceptions
-fobjc-nonfragile-abi -fobjc-dispatch-method=mixed -fdiagnostics-show-option
-fcolor-diagnostics -o test.plist -x objective-c test.m 
1.    test.m:30:1: current parser token '}'
2.    test.m:21:1: parsing function body '_formPathsFromSimplePaths'
3.    test.m:21:1: in compound statement ('{}')
clang: error: clang frontend command failed due to signal 6 (use -v to see
invocation)

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