12 void struct_arr_write_x_element_before_start_far(int32_t x
)
14 arr
[-100].x
= x
; /* { dg-warning "buffer underwrite" "warning" } */
15 /* { dg-message "out-of-bounds write from byte -2384 till byte -2381 but 'arr' starts at byte 0" "final event" { target *-*-* } .-1 } */
16 /* { dg-message "valid subscripts for 'arr' are '\\\[0\\\]' to '\\\[9\\\]'" "valid subscript note" { target *-*-* } .-2 } */
19 void struct_arr_write_x_element_before_start_near(int32_t x
)
21 arr
[-2].x
= x
; /* { dg-warning "buffer underwrite" "warning" } */
22 /* { dg-message "out-of-bounds write from byte -32 till byte -29 but 'arr' starts at byte 0" "final event" { target *-*-* } .-1 } */
23 /* { dg-message "valid subscripts for 'arr' are '\\\[0\\\]' to '\\\[9\\\]'" "valid subscript note" { target *-*-* } .-2 } */
26 void struct_arr_write_x_element_before_start_off_by_one(int32_t x
)
28 arr
[-1].x
= x
; /* { dg-warning "buffer underwrite" "warning" } */
29 /* { dg-message "out-of-bounds write from byte -8 till byte -5 but 'arr' starts at byte 0" "final event" { target *-*-* } .-1 } */
30 /* { dg-message "valid subscripts for 'arr' are '\\\[0\\\]' to '\\\[9\\\]'" "valid subscript note" { target *-*-* } .-2 } */
33 void struct_arr_write_x_element_at_start(int32_t x
)
38 void struct_arr_write_x_element_at_end(int32_t x
)
43 void struct_arr_write_x_element_after_end_off_by_one(int32_t x
)
45 arr
[10].x
= x
; /* { dg-warning "buffer overflow" "warning" } */
46 /* { dg-message "out-of-bounds write from byte 256 till byte 259 but 'arr' ends at byte 240" "final event" { target *-*-* } .-1 } */
47 /* { dg-message "write of 4 bytes to beyond the end of 'arr'" "num bad bytes note" { target *-*-* } .-2 } */
48 /* { dg-message "valid subscripts for 'arr' are '\\\[0\\\]' to '\\\[9\\\]'" "valid subscript note" { target *-*-* } .-3 } */
51 void struct_arr_write_x_element_after_end_near(int32_t x
)
53 arr
[11].x
= x
; /* { dg-warning "buffer overflow" "warning" } */
54 /* { dg-message "out-of-bounds write from byte 280 till byte 283 but 'arr' ends at byte 240" "final event" { target *-*-* } .-1 } */
55 /* { dg-message "write of 4 bytes to beyond the end of 'arr'" "num bad bytes note" { target *-*-* } .-2 } */
56 /* { dg-message "valid subscripts for 'arr' are '\\\[0\\\]' to '\\\[9\\\]'" "valid subscript note" { target *-*-* } .-3 } */
59 void struct_arr_write_x_element_after_end_far(int32_t x
)
61 arr
[100].x
= x
; /* { dg-warning "buffer overflow" "warning" } */
62 /* { dg-message "out-of-bounds write from byte 2416 till byte 2419 but 'arr' ends at byte 240" "final event" { target *-*-* } .-1 } */
63 /* { dg-message "write of 4 bytes to beyond the end of 'arr'" "num bad bytes note" { target *-*-* } .-2 } */
64 /* { dg-message "valid subscripts for 'arr' are '\\\[0\\\]' to '\\\[9\\\]'" "valid subscript note" { target *-*-* } .-3 } */