]> granicus.if.org Git - clang/commit
[analyzer] CString Checker: Do not split the path unless the user
authorAnna Zaks <ganna@apple.com>
Thu, 3 May 2012 18:21:28 +0000 (18:21 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 3 May 2012 18:21:28 +0000 (18:21 +0000)
commitdd160f3ed50def10765ed823bf4ce2a56b2cd035
tree72e9b2140cfa16c270ba5bb6146b37fd33d03962
parentd39d23e610c2a7815515d60c5a538d65d05e8bdc
[analyzer] CString Checker: Do not split the path unless the user
specifically checks for equality to null.

Enforcing this general practice, which keeps the analyzer less
noisy, in the CString Checker. This change suppresses "Assigned value is
garbage or undefined" warning in the added test case.

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