// REQUIRES: powerpc-registered-target
// RUN: %clang_cc1 -triple powerpc64-unknown-aix -target-cpu pwr8 \
// RUN: -verify %s
void test_builtin_ppc_compare_and_swap() {
volatile int a = 0;
long b = 0, c = 0;
__compare_and_swap(&a, &b, c); // expected-warning {{incompatible pointer types passing 'long *' to parameter of type 'int *'}}
}
void test_builtin_ppc_compare_and_swaplp() {
volatile long a = 0;
int b = 0, c = 0;
__compare_and_swaplp(&a, &b, c);// expected-warning {{incompatible pointer types passing 'int *' to parameter of type 'long *'}}
}