[cfe-dev] Feature request & new analyze regression

Zhongxing Xu xuzhongxing at gmail.com
Thu Jan 14 18:14:44 CST 2010


This should have been fixed in r93422.

2010/1/14 Andy Wick <Andy.Wick at corp.aol.com>

> I track my regression down to the following change with
> llvm/tools/clang/lib/Analysis/SVals.cpp
>
> If I comment it out I work again.
>
> ------------------------------------------------------------------------
> r93146 | zhongxingxu | 2010-01-11 01:52:53 -0500 (Mon, 11 Jan 2010) | 3
> lines
>
> Enhance SVals::getAsRegion: get the region that is converted to an integer.
> This with previous patch fixes a OSAtomic test case.
>
>
>
>
> On 1/12/10 9:41 AM, "Andy Wick" <Andy.Wick at corp.aol.com> wrote:
>
>
> > Updated to TIP this morning, last update was I think 2 days ago.
> >
> > void test (void *uw1) {
> >     unsigned int foo;
> >     foo = ((long)(uw1));
> > }
> >
> > clang --analyze test.c
> >
> > clang: SValuator.cpp:119: clang::SValuator::CastResult
> > clang::SValuator::EvalCast(clang::SVal, const clang::GRState*,
> > clang::QualType, clang::QualType): Assertion `Loc::IsLocType(castTy)'
> failed.
> > 0  clang           0x000000000142a77f
> > 1  clang           0x000000000142af81
> > 2  libpthread.so.0 0x0000002a9567f160
> > 3  libc.so.6       0x0000002a95d5f745 gsignal + 69
> > 4  libc.so.6       0x0000002a95d60eb3 abort + 467
> > 5  libc.so.6       0x0000002a95d58dc9
> > 6  clang           0x00000000006c057e
> > 7  clang           0x000000000067efcf
> > 8  clang           0x0000000000679ac4
> > 9  clang           0x0000000000679fe8
> > 10 clang           0x0000000000679a54
> > 11 clang           0x0000000000680bfd
> > 12 clang           0x000000000066e708
> > 13 clang           0x000000000066e972
> > 14 clang           0x00000000004d9b2f
> > 15 clang           0x00000000004d84d0
> > 16 clang           0x00000000004d89b5
> > 17 clang           0x00000000006e39f6
> > 18 clang           0x00000000004347c8
> > 19 clang           0x0000000000437851 main + 1585
> > 20 libc.so.6       0x0000002a95d4d1d7 __libc_start_main + 215
> > 21 clang           0x000000000043263a
> > Stack dump:
> > 0.    Program arguments: /usr/local/bin/clang -cc1 -triple
> > x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name test.c
> > -analyzer-store=region -analyzer-opt-analyze-nested-blocks
> -warn-dead-stores
> > -warn-security-syntactic -checker-cfref -analyzer-eagerly-assume
> > -warn-objc-methodsigs -warn-objc-unused-ivars -analyzer-output plist
> > -mrelocation-model static -mdisable-fp-elim -munwind-tables -target-cpu
> x86-64
> > -v -resource-dir /usr/local/lib/clang/1.1 -fmessage-length 166
> -fgnu-runtime
> > -fdiagnostics-show-option -fcolor-diagnostics -o test.plist -x c test.c
> > 1.    <eof> parser at end of file
> > 2.    test.c:3:5: Error evaluating statement
> > 3.    test.c:3:5: Error evaluating statement
> > 4.    test.c:3:11: Error evaluating statement
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.cs.uiuc.edu/pipermail/cfe-dev/attachments/20100115/64c61f9c/attachment.html 


More information about the cfe-dev mailing list