xref: /llvm-project/clang/test/Analysis/fixed-point.c (revision 443b46e6d3139c1306caddd06efa674dcea9f38f) 
1 // RUN: %clang_analyze_cc1 -ffixed-point \
2 // RUN:   -analyzer-checker=core,debug.ExprInspection -verify %s
3 
4 // expected-no-diagnostics
5 
6 // Check that getAPSIntType does not crash
7 // when using fixed point types.
8 
9 enum Kind { en_0 = 1 };
10 
_enum(int c)11 void _enum(int c) {
12   (void)((enum Kind) c >> 4);
13 }
14 
_inttype(int c)15 void _inttype(int c) {
16   (void)(c >> 4);
17 }
18 
_accum(int c)19 void _accum(int c) {
20   (void)((_Accum) c >> 4);
21 }
22 
_fract(int c)23 void _fract(int c) {
24   (void)((_Fract) c >> 4);
25 }
26 
_long_fract(int c)27 void _long_fract(int c) {
28   (void)((long _Fract) c >> 4);
29 }
30 
_unsigned_accum(int c)31 void _unsigned_accum(int c) {
32   (void)((unsigned _Accum) c >> 4);
33 }
34 
_short_unsigned_accum(int c)35 void _short_unsigned_accum(int c) {
36   (void)((short unsigned _Accum) c >> 4);
37 }
38 
_unsigned_fract(int c)39 void _unsigned_fract(int c) {
40   (void)((unsigned _Fract) c >> 4);
41 }
42 
sat_accum(int c)43 void sat_accum(int c) {
44   (void)((_Sat _Accum) c >> 4);
45 }
46 
sat_fract(int c)47 void sat_fract(int c) {
48   (void)((_Sat _Fract) c >> 4);
49 }
50 
sat_long_fract(int c)51 void sat_long_fract(int c) {
52   (void)((_Sat long _Fract) c >> 4);
53 }
54 
sat_unsigned_accum(int c)55 void sat_unsigned_accum(int c) {
56   (void)((_Sat unsigned _Accum) c >> 4);
57 }
58 
sat_short_unsigned_accum(int c)59 void sat_short_unsigned_accum(int c) {
60   (void)((_Sat short unsigned _Accum) c >> 4);
61 }
62 
sat_unsigned_fract(int c)63 void sat_unsigned_fract(int c) {
64   (void)((_Sat unsigned _Fract) c >> 4);
65 }
66