]> granicus.if.org Git - clang/commit
Eliminates an assert in the strncpy/strncat checker caused by not validating a cast...
authorLenny Maiorani <lenny@colorado.edu>
Thu, 28 Apr 2011 18:59:43 +0000 (18:59 +0000)
committerLenny Maiorani <lenny@colorado.edu>
Thu, 28 Apr 2011 18:59:43 +0000 (18:59 +0000)
commit508c627db67ea4b53439fbcd688145f24d9c0400
treec2a889733f19d795d8045d089813e37487232864
parent3b4d490b09347e0b68ec0511ddfae79dfaba77a6
Eliminates an assert in the strncpy/strncat checker caused by not validating a cast was successful. If the value of an argument was unknown, the cast would result in a NULL pointer which was later being dereferenced.

This fixes Bugzilla #9806.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@130422 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CStringChecker.cpp