| /* PR tree-optimization/97027 - missing warning on buffer overflow storing |
| a larger scalar into a smaller array |
| Verify overflow by vector stores. |
| { dg-do compile } |
| { dg-options "-O3" } */ |
| |
| void* nowarn_loop (void) |
| { |
| char *p = __builtin_malloc (16); |
| for (int i = 0; i != 16; ++i) |
| p[i] = i; |
| return p; |
| } |
| |
| void* warn_loop (void) |
| { |
| char *p = __builtin_malloc (15); |
| for (int i = 0; i != 16; ++i) |
| /* The size of the write below depends on the target. When vectorized |
| the vector size may be 4, 8 or 16, otherwise it may be a series of byte |
| assignments. */ |
| p[i] = i; // { dg-warning "writing (1|2|4|8|16) bytes? into a region of size (0|1|3|7|15)" } |
| return p; |
| } |
