]> granicus.if.org Git - clang/commit
[analyzer] Model strsep(), particularly that it returns its input.
authorJordan Rose <jordan_rose@apple.com>
Mon, 22 Apr 2013 23:18:42 +0000 (23:18 +0000)
committerJordan Rose <jordan_rose@apple.com>
Mon, 22 Apr 2013 23:18:42 +0000 (23:18 +0000)
commitaf22621352481e91488a54ea0e0b5e73f6551ab7
treea0f68b2a43c5a0e0d7badc5a855fb2d786b9aa36
parent5d7a96ce691fbb02d669e4a295162ed8cb3c585d
[analyzer] Model strsep(), particularly that it returns its input.

This handles the false positive leak warning in PR15374, and also serves
as a basic model for the strsep() function.

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