]>
Commit | Line | Data |
---|---|---|
09cbbded JJ |
1 | /* PR target/83930 */ |
2 | /* { dg-do compile } */ | |
3 | /* { dg-options "-Og -fno-tree-ccp -w" } */ | |
4 | ||
5 | unsigned __attribute__ ((__vector_size__ (16))) v; | |
6 | ||
7 | static inline void | |
8 | bar (unsigned char d) | |
9 | { | |
10 | v /= d; | |
11 | } | |
12 | ||
13 | __attribute__ ((always_inline)) void | |
14 | foo (void) | |
15 | { | |
16 | bar (4); | |
17 | } |