mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-20 03:55:48 -04:00
94d2d09c76
Only explicitly look through integer and floating-point promotion where the result type is actually a promotion, which is not always the case for bit-fields in C. Patch by Bevin Hansson. llvm-svn: 349497
19 lines
858 B
C
19 lines
858 B
C
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -verify %s
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-windows-msvc -fsyntax-only -verify %s
|
|
|
|
int printf(const char *restrict, ...);
|
|
|
|
struct bitfields {
|
|
long a : 2;
|
|
unsigned long b : 2;
|
|
long c : 32; // assumes that int is 32 bits
|
|
unsigned long d : 32; // assumes that int is 32 bits
|
|
} bf;
|
|
|
|
void bitfield_promotion() {
|
|
printf("%ld", bf.a); // expected-warning {{format specifies type 'long' but the argument has type 'int'}}
|
|
printf("%lu", bf.b); // expected-warning {{format specifies type 'unsigned long' but the argument has type 'int'}}
|
|
printf("%ld", bf.c); // expected-warning {{format specifies type 'long' but the argument has type 'int'}}
|
|
printf("%lu", bf.d); // expected-warning {{format specifies type 'unsigned long' but the argument has type 'unsigned int'}}
|
|
}
|