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