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