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}} \ _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
