Mercurial > hg > CbC > CbC_llvm

comparison clang/test/Analysis/svalbuilder-logic.c @ 173:0572611fdcc8 llvm10 llvm12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children c4bab56944e8
comparison
equal deleted inserted replaced
172:9fbae9c8bf63 173:0572611fdcc8
1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s 1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -Wno-pointer-to-int-cast -verify %s
2 // expected-no-diagnostics 2 // expected-no-diagnostics
3 3
4 // Testing core functionality of the SValBuilder. 4 // Testing core functionality of the SValBuilder.
5 5
6 int SValBuilderLogicNoCrash(int *x) { 6 int SValBuilderLogicNoCrash(int *x) {