// REQUIRES: powerpc-registered-target | |
// RUN: %clang_cc1 -triple powerpc64-unknown-linux-gnu -target-cpu pwr9 \ | |
// RUN: -verify %s | |
extern unsigned long long ull; | |
extern long long ll; | |
void test_builtin_ppc_addex() { | |
long long res = __builtin_ppc_addex(ll, ll, 1); // expected-warning {{argument value 1 will result in undefined behaviour}} | |
unsigned long long res2 = __builtin_ppc_addex(ull, ull, 3); // expected-warning {{argument value 3 will result in undefined behaviour}} | |
} |