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

   1 // RUN: %clang_analyze_cc1 %s \
   2 // RUN:   -analyzer-checker=core \
   3 // RUN:   -analyzer-checker=apiModeling.StdCLibraryFunctions \
   4 // RUN:   -analyzer-checker=alpha.unix.StdCLibraryFunctionArgs \
   5 // RUN:   -analyzer-checker=debug.StdCLibraryFunctionsTester \
   6 // RUN:   -analyzer-checker=debug.ExprInspection \
   7 // RUN:   -analyzer-config eagerly-assume=false \
   8 // RUN:   -triple i686-unknown-linux \
   9 // RUN:   -verify
  10
  11 void clang_analyzer_eval(int);
  12
  13 int __defaultparam(void *, int y = 3);
  14
  15 void test_arg_constraint_on_fun_with_default_param() {
  16   __defaultparam(nullptr); // \
  17   // expected-warning{{Function argument constraint is not satisfied}} \
  18   // expected-note{{}}
  19 }