1 // RUN: %clang_cc1 -triple i386-apple-darwin9 -x c++ -std=c++11 -verify %s
2 // RUN: %clang_cc1 -triple i386-apple-darwin9 -x objective-c -verify %s
3 // RUN: %clang_cc1 -triple i386-apple-darwin9 -x objective-c++ -verify %s
4 
5 #ifdef __cplusplus
6 # define EXTERN_C extern "C"
7 #else
8 # define EXTERN_C extern
9 #endif
10 
11 EXTERN_C int printf(const char *,...);
12 
13 typedef enum : short { Constant = 0 } TestEnum;
14 // Note that in C (and Objective-C), the type of 'Constant' is 'short'.
15 // In C++ (and Objective-C++) it is 'TestEnum'.
16 // This is why we don't check for that in the expected output.
17 
test(TestEnum input)18 void test(TestEnum input) {
19   printf("%hhd", input); // expected-warning{{format specifies type 'char' but the argument has underlying type 'short'}}
20   printf("%hhd", Constant); // expected-warning{{format specifies type 'char'}}
21 
22   printf("%hd", input); // no-warning
23   printf("%hd", Constant); // no-warning
24 
25   // While these are less correct, they are still safe.
26   printf("%d", input); // no-warning
27   printf("%d", Constant); // no-warning
28 
29   printf("%lld", input); // expected-warning{{format specifies type 'long long' but the argument has underlying type 'short'}}
30   printf("%lld", Constant); // expected-warning{{format specifies type 'long long'}}
31 }
32 
33 
34 typedef enum : unsigned long { LongConstant = ~0UL } LongEnum;
35 
testLong(LongEnum input)36 void testLong(LongEnum input) {
37   printf("%u", input); // expected-warning{{format specifies type 'unsigned int' but the argument has underlying type 'unsigned long'}}
38   printf("%u", LongConstant); // expected-warning{{format specifies type 'unsigned int'}}
39 
40   printf("%lu", input);
41   printf("%lu", LongConstant);
42 }
43 
44 
45 typedef short short_t;
46 typedef enum : short_t { ShortConstant = 0 } ShortEnum;
47 
testUnderlyingTypedef(ShortEnum input)48 void testUnderlyingTypedef(ShortEnum input) {
49   printf("%hhd", input); // expected-warning{{format specifies type 'char' but the argument has underlying type 'short_t' (aka 'short')}}
50   printf("%hhd", ShortConstant); // expected-warning{{format specifies type 'char'}}
51 
52   printf("%hd", input); // no-warning
53   printf("%hd", ShortConstant); // no-warning
54 
55   // While these are less correct, they are still safe.
56   printf("%d", input); // no-warning
57   printf("%d", ShortConstant); // no-warning
58 
59   printf("%lld", input); // expected-warning{{format specifies type 'long long' but the argument has underlying type 'short_t' (aka 'short')}}
60   printf("%lld", ShortConstant); // expected-warning{{format specifies type 'long long'}}
61 }
62 
63 
64 typedef ShortEnum ShortEnum2;
65 
testTypedefChain(ShortEnum2 input)66 void testTypedefChain(ShortEnum2 input) {
67   printf("%hhd", input); // expected-warning{{format specifies type 'char' but the argument has underlying type 'short_t' (aka 'short')}}
68   printf("%hd", input); // no-warning
69   printf("%d", input); // no-warning
70   printf("%lld", input); // expected-warning{{format specifies type 'long long' but the argument has underlying type 'short_t' (aka 'short')}}
71 }
72 
73 
74 typedef enum : char { CharConstant = 'a' } CharEnum;
75 
76 // %hhd is deliberately not required to be signed, because 'char' isn't either.
77 // This is a separate code path in FormatString.cpp.
testChar(CharEnum input)78 void testChar(CharEnum input) {
79   printf("%hhd", input); // no-warning
80   printf("%hhd", CharConstant); // no-warning
81 
82   // This is not correct but it is safe. We warn because '%hd' shows intent.
83   printf("%hd", input); // expected-warning{{format specifies type 'short' but the argument has underlying type 'char'}}
84   printf("%hd", CharConstant); // expected-warning{{format specifies type 'short'}}
85 
86   // This is not correct but it matches the promotion rules (and is safe).
87   printf("%d", input); // no-warning
88   printf("%d", CharConstant); // no-warning
89 
90   printf("%lld", input); // expected-warning{{format specifies type 'long long' but the argument has underlying type 'char'}}
91   printf("%lld", CharConstant); // expected-warning{{format specifies type 'long long'}}
92 }
93