clang/test/Analysis/std-c-library-functions-restrict.cpp

   1 // RUN: %clang_analyze_cc1 %s \
   2 // RUN:   -analyzer-checker=core \
   3 // RUN:   -analyzer-checker=unix.StdCLibraryFunctions \
   4 // RUN:   -analyzer-checker=debug.StdCLibraryFunctionsTester \
   5 // RUN:   -analyzer-config unix.StdCLibraryFunctions:DisplayLoadedSummaries=true \
   6 // RUN:   -triple i686-unknown-linux 2>&1 | FileCheck %s
   7
   8 // The signatures for these functions are the same and they specify their
   9 // parameter with the restrict qualifier. In C++, however, we are more
  10 // indulgent and we do not match based on this qualifier. Thus, the given
  11 // signature should match for both of the declarations below, i.e the summary
  12 // should be loaded for both of them.
  13 void __test_restrict_param_0(void *p);
  14 void __test_restrict_param_1(void *__restrict p);
  15 // The below declaration is illegal, "restrict" is not a keyword in C++.
  16 // void __test_restrict_param_2(void *restrict p);
  17
  18 // CHECK: Loaded summary for: void __test_restrict_param_0(void *p)
  19 // CHECK: Loaded summary for: void __test_restrict_param_1(void *__restrict p)
  20
  21 // Must have at least one call expression to initialize the summary map.
  22 int bar(void);
  23 void foo() {
  24   bar();
  25 }