Mercurial > hg > CbC > CbC_llvm

view clang/test/Analysis/std-c-library-functions-arg-constraints.cpp @ 222:81f6424ef0e3 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 79ff65ed7e25
children 1f2b6ac9f198
line wrap: on
line source

// RUN: %clang_analyze_cc1 %s \
// RUN:   -analyzer-checker=core \
// RUN:   -analyzer-checker=apiModeling.StdCLibraryFunctions \
// RUN:   -analyzer-checker=alpha.unix.StdCLibraryFunctionArgs \
// RUN:   -analyzer-checker=debug.StdCLibraryFunctionsTester \
// RUN:   -analyzer-checker=debug.ExprInspection \
// RUN:   -analyzer-config eagerly-assume=false \
// RUN:   -triple i686-unknown-linux \
// RUN:   -verify

void clang_analyzer_eval(int);

int __defaultparam(void *, int y = 3);

void test_arg_constraint_on_fun_with_default_param() {
  __defaultparam(nullptr); // \
  // expected-warning{{Function argument constraint is not satisfied}} \
  // expected-note{{}}
}