From 33ec25fc8d3fa7cb04a59b9dc4e9b86da05e82b5 Mon Sep 17 00:00:00 2001 From: George Karpenkov Date: Wed, 29 Aug 2018 21:18:47 +0000 Subject: [PATCH] [analyzer] Fix tests on 32-bit platforms by specifying the tuple explicitly git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@340972 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/casts.c | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/test/Analysis/casts.c b/test/Analysis/casts.c index 3e6a9e0595..45ce1940df 100644 --- a/test/Analysis/casts.c +++ b/test/Analysis/casts.c @@ -1,6 +1,7 @@ // RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin9 -analyzer-checker=core,alpha.core,debug.ExprInspection -analyzer-store=region -verify -analyzer-config eagerly-assume=false %s // RUN: %clang_analyze_cc1 -triple i386-apple-darwin9 -analyzer-checker=core,alpha.core,debug.ExprInspection -analyzer-store=region -verify -analyzer-config eagerly-assume=false %s -// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core,debug.ExprInspection -verify -DEAGERLY_ASSUME=1 -w %s +// RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin9 -analyzer-checker=core,alpha.core,debug.ExprInspection -verify -DEAGERLY_ASSUME=1 -w %s +// RUN: %clang_analyze_cc1 -triple i386-apple-darwin9 -analyzer-checker=core,alpha.core,debug.ExprInspection -verify -DEAGERLY_ASSUME=1 -DBIT32=1 -w %s extern void clang_analyzer_eval(_Bool); @@ -196,16 +197,19 @@ void testSwitchWithSizeofs() { #ifdef EAGERLY_ASSUME -// expected-no-diagnostics - -int globalA; // TODO: the example is not representative. +int globalA; extern int globalFunc(); void no_crash_on_symsym_cast_to_long() { char c = globalFunc() - 5; c == 0; globalA -= c; globalA == 3; - (long)globalA << 48; // no-crash + (long)globalA << 48; + #ifdef BIT32 + // expected-warning@-2{{The result of the left shift is undefined due to shifting by '48', which is greater or equal to the width of type 'long'}} + #else + // expected-no-diagnostics + #endif } #endif -- 2.40.0