]>
Commit | Line | Data |
---|---|---|
a956d444 | 1 | /*@constant int SHIFT_CONST = 5@*/ |
2 | # define SHIFT_CONST 5 | |
3 | ||
4 | /*@constant int BAD_CONST = -2@*/ | |
5 | # define BAD_CONST -2 | |
6 | ||
7 | int f (int i1, unsigned int u1, unsigned int u2) | |
8 | { | |
9 | int j1; | |
10 | unsigned int v1, v2; | |
11 | ||
12 | v1 = u1 << i1; /* Right operand may be negative */ | |
13 | j1 = i1 << i1; /* Left, right oprands */ | |
14 | ||
15 | v2 = u2 << 5; | |
16 | v2 = u2 << SHIFT_CONST; | |
17 | v2 = u2 << BAD_CONST; /* Right operand */ | |
18 | ||
19 | return 3; | |
20 | } |