]> granicus.if.org Git - clang/commitdiff
[analyzer] Fix a crash in SyntaxCString checker when given a custom strncat.
authorAnna Zaks <ganna@apple.com>
Wed, 10 Apr 2013 22:06:29 +0000 (22:06 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 10 Apr 2013 22:06:29 +0000 (22:06 +0000)
Fixes PR13476

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179228 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Checkers/CStringSyntaxChecker.cpp
test/Analysis/cstring-syntax-cxx.cpp

index 3a57a56aea6e96a0a97ab64a30268fa37781fd78..92c0eef3e8801897762917128e186c12e2620a4a 100644 (file)
@@ -101,6 +101,8 @@ public:
 //   - strncat(dst, src, sizeof(dst) - 1);
 //   - strncat(dst, src, sizeof(dst));
 bool WalkAST::containsBadStrncatPattern(const CallExpr *CE) {
+  if (CE->getNumArgs() != 3)
+    return false;
   const Expr *DstArg = CE->getArg(0);
   const Expr *SrcArg = CE->getArg(1);
   const Expr *LenArg = CE->getArg(2);
index bae3d0a1642378ee5bf18302ebb3c40ff4d203ee..39c978ab600f1f326dd312034cbe074eb66929d4 100644 (file)
@@ -15,3 +15,8 @@ void test(X a, X b) {
   X c = a + b;
 }
 
+// Ensure we don't crash on custom-defined strncat.
+char strncat ();
+int main () {
+  return strncat ();
+}
\ No newline at end of file