================ @@ -1,19 +1,21 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=optin.taint,core,security.ArrayBound -analyzer-config assume-controlled-environment=false -analyzer-output=text -verify %s -// This file is for testing enhanced diagnostics produced by the GenericTaintChecker +// RUN: %clang_analyze_cc1 -analyzer-checker=optin.taint,core,security.ArrayBound -analyzer-config \ +// RUN: assume-controlled-environment=false -analyzer-output=text -verify %s + +// This file is for testing enhanced +// diagnostics produced by the GenericTaintChecker typedef __typeof(sizeof(int)) size_t; int system(const char *command); -size_t strlen( const char* str ); -char * strncat ( char * destination, const char * source, size_t num ); - +size_t strlen(const char *str); +char *strncat(char *destination, const char *source, size_t num); // invalid main function // expected-no-diagnostics ---------------- dkrupp wrote:
I renamed to file to taint-diagnostic-visitor-main_void.c and removed the comment. int main(char **argv, int argc) was giving a compilation error before reaching the analyzer, which I could not suppress. This behaviour will be the same with any end user too, so I think we should be okay witout an explicit test case. https://github.com/llvm/llvm-project/pull/178054 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
