[llvm-branch-commits] [clang] 0a2fc6d - [analyzer] StdLibraryFunctionsChecker: Add support for new functions

[Zurab Tsinadze via llvm-branch-commits]

Author: Zurab Tsinadze
Date: 2020-08-12T16:14:44+02:00
New Revision: 0a2fc6d74bc1a41d0177ac7b3320f10bcce089b2

URL: https://github.com/llvm/llvm-project/commit/0a2fc6d74bc1a41d0177ac7b3320f10bcce089b2
DIFF: https://github.com/llvm/llvm-project/commit/0a2fc6d74bc1a41d0177ac7b3320f10bcce089b2.diff

LOG: [analyzer] StdLibraryFunctionsChecker: Add support for new functions

`toupper`, `tolower`, `toascii` functions were added to
StdLibraryFunctionsChecker to fully cover CERT STR37-C rule:
https://wiki.sei.cmu.edu/confluence/x/BNcxBQ

Differential Revision: https://reviews.llvm.org/D85093

Added: 
    

Modified: 
    clang/test/Analysis/std-c-library-functions-arg-constraints.c

Removed: 
    


################################################################################
diff  --git a/clang/test/Analysis/std-c-library-functions-arg-constraints.c b/clang/test/Analysis/std-c-library-functions-arg-constraints.c
index e926cd15384d..7d09aa9723e2 100644
--- a/clang/test/Analysis/std-c-library-functions-arg-constraints.c
+++ b/clang/test/Analysis/std-c-library-functions-arg-constraints.c
@@ -187,7 +187,7 @@ void test_notnull_symbolic(FILE *fp, int *buf) {
   // bugpath-note{{'buf' is not equal to null}}
 }
 void test_notnull_symbolic2(FILE *fp, int *buf) {
-  if (!buf)                          // bugpath-note{{Assuming 'buf' is null}} \
+  if (!buf) // bugpath-note{{Assuming 'buf' is null}} \
             // bugpath-note{{Taking true branch}}
     fread(buf, sizeof(int), 10, fp); // \
     // report-warning{{Function argument constraint is not satisfied}} \
@@ -258,7 +258,7 @@ void test_buf_size_symbolic_and_offset(int s) {
 }
 int __buf_size_arg_constraint_mul(const void *, size_t, size_t);
 void test_buf_size_concrete_with_multiplication() {
-  short buf[3];                                         // bugpath-note{{'buf' initialized here}}
+  short buf[3];         // bugpath-note{{'buf' initialized here}}
   __buf_size_arg_constraint_mul(buf, 4, sizeof(short)); // \
   // report-warning{{Function argument constraint is not satisfied}} \
   // bugpath-warning{{Function argument constraint is not satisfied}} \