Mercurial > hg > CbC > CbC_llvm

annotate clang/test/Analysis/svalbuilder-logic.c @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s
anatofuz
parents:
diff changeset
2 // expected-no-diagnostics
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 // Testing core functionality of the SValBuilder.
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 int SValBuilderLogicNoCrash(int *x) {
anatofuz
parents:
diff changeset
7 return 3 - (int)(x +3);
anatofuz
parents:
diff changeset
8 }
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 // http://llvm.org/bugs/show_bug.cgi?id=15863
anatofuz
parents:
diff changeset
11 // Don't crash when mixing 'bool' and 'int' in implicit comparisons to 0.
anatofuz
parents:
diff changeset
12 void pr15863() {
anatofuz
parents:
diff changeset
13 extern int getBool();
anatofuz
parents:
diff changeset
14 _Bool a = getBool();
anatofuz
parents:
diff changeset
15 (void)!a; // no-warning
anatofuz
parents:
diff changeset
16 }