<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi John,<div><br></div><div>This is great. I've gone ahead and applied this patch and also removed the dependency on stdint.h.</div><div><br></div><div>Thanks!</div><div>Ted</div><div><br><div><div>On Sep 28, 2009, at 4:26 PM, John Thompson wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Hi,</div>
<div> </div>
<div>I'm back to trying to get some of failing Clang unit tests on Windows to pass.</div>
<div> </div>
<div>In null-deref-ps.c I'm getting two unexpected warnings. I'm guessing that since the "assert" on Windows doesn't seem to give an indication of not returning, we are getting the warnings:</div>
<div> </div>
<div>FAIL: Clang::Analysis/null-deref-ps.c (43 of 75)<br>******************** TEST 'Clang::Analysis/null-deref-ps.c' FAILED ********************<br>Script:<br>--<br>C:/Tools/llvm/bin/Debug/clang-cc.exe -analyze -std=gnu99 -checker-cfref -verify C:\Tools\llvm\tools\clang\test\Analysis\null-deref-ps.c -ana<br>
lyzer-constraints=basic -analyzer-store=basic<br>C:/Tools/llvm/bin/Debug/clang-cc.exe -analyze -std=gnu99 -checker-cfref -verify C:\Tools\llvm\tools\clang\test\Analysis\null-deref-ps.c -ana<br>lyzer-constraints=range -analyzer-store=basic<br>
C:/Tools/llvm/bin/Debug/clang-cc.exe -analyze -std=gnu99 -checker-cfref -analyzer-store=region -analyzer-constraints=range -analyzer-purge-d<br>ead=false -verify C:\Tools\llvm\tools\clang\test\Analysis\null-deref-ps.c<br>
C:/Tools/llvm/bin/Debug/clang-cc.exe -analyze -std=gnu99 -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify C:\Tools\<br>llvm\tools\clang\test\Analysis\null-deref-ps.c<br>--<br>Exit Code: 1<br>Command Output (stdout):<br>
--<br>Command 0: "C:/Tools/llvm/bin/Debug/clang-cc.exe" "-analyze" "-std=gnu99" "-checker-cfref" "-verify" "C:\Tools\llvm\tools\clang\test\Analysi<br>s\null-deref-ps.c" "-analyzer-constraints=basic" "-analyzer-store=basic"<br>
Command 0 Result: 1<br>Command 0 Output:</div>
<div><br>Command 0 Stderr:<br>Warnings seen but not expected:<br> Line 193: Dereference of null pointer<br> Line 204: Dereference of null pointer</div>
<div><br>--<br>Command Output (stderr):<br>--<br>--</div>
<div>********************<br clear="all"></div>
<div>The enclosed patch replaces the assert.h include with a stripped-down version of the assert macro. I've also run the tests on an x86 Linux virtual machine to make sure it still works there. Should it therefore work on all the other platforms too?</div>
<div></div>
<div> </div>
<div>-John</div>
<div><br>-- <br>John Thompson<br><a href="mailto:John.Thompson.JTSoftware@gmail.com">John.Thompson.JTSoftware@gmail.com</a><br><br></div>
<span><nullderefps.patch></span>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev<br></blockquote></div><br></div></body></html>