Mercurial > hg > CbC > CbC_llvm
annotate clang/test/Analysis/iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp @ 222:81f6424ef0e3 llvm-original
LLVM original branch
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 18 Jul 2021 22:10:01 +0900 |
| parents | 0572611fdcc8 |
| children |
| rev | line source |
|---|---|
| 173 | 1 // RUN: %clang_analyze_cc1 -std=c++11\ |
| 2 // RUN: -analyzer-checker=core,cplusplus,debug.DebugIteratorModeling,debug.ExprInspection\ | |
| 3 // RUN: %s 2>&1 | FileCheck %s | |
| 4 | |
| 5 // XFAIL: * | |
| 6 | |
| 7 // CHECK: checker cannot be enabled with analyzer option 'aggressive-binary-operation-simplification' == false | |
| 8 | |
| 9 #include "Inputs/system-header-simulator-cxx.h" | |
| 10 | |
| 11 void clang_analyzer_eval(bool); | |
| 12 | |
| 13 void comparison(std::vector<int> &V) { | |
| 14 clang_analyzer_eval(V.begin() == V.end()); // no-crash | |
| 15 } |