]> granicus.if.org Git - clang/commit
[analyzer] Make CStringChecker correctly calculate return value of mempcpy
authorAnna Zaks <ganna@apple.com>
Fri, 3 Oct 2014 21:48:54 +0000 (21:48 +0000)
committerAnna Zaks <ganna@apple.com>
Fri, 3 Oct 2014 21:48:54 +0000 (21:48 +0000)
commit6118a4aa50c887fd59fbc955aac1b53a3e3f4a46
tree194d2fb4c0f9d5e8816819b662a4d8a809bb2ed8
parent8357cdc1ebed56d37af7944dabf41b3126f8117b
[analyzer] Make CStringChecker correctly calculate return value of mempcpy

The return value of mempcpy is only correct when the destination type is
one byte in size. This patch casts the argument to a char* so the
calculation is also correct for structs, ints etc.

A patch by Daniel Fahlgren!

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