Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/c-c++-common/ubsan/ptr-overflow-sanitization-1.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
23 p--; /* pointer overflow check is needed */ 23 p--; /* pointer overflow check is needed */
24 p2 = p + 1; 24 p2 = p + 1;
25 p2 = p + 2; 25 p2 = p + 2;
26 26
27 p = b - SMAX; /* pointer overflow check is needed */ 27 p = b - SMAX; /* pointer overflow check is needed */
28 p2 = p + (SMAX - 2); /* b - 2: pointer overflow check is needed */ 28 p2 = p + (SMAX - 2); /* b - 2: no need to check this */
29 p2 = p + (SMAX - 1); /* b - 1: pointer overflow check is needed */ 29 p2 = p + (SMAX - 1); /* b - 1: no need to check this */
30 p2 = p + SMAX; /* b: pointer overflow check is needed */ 30 p2 = p + SMAX; /* b: no need to check this */
31 p2++; /* b + 1 */ 31 p2++; /* b + 1 */
32 32
33 p = c; 33 p = c;
34 p++; /* c + 1 */ 34 p++; /* c + 1 */
35 p = c - SMAX; /* pointer overflow check is needed */ 35 p = c - SMAX; /* pointer overflow check is needed */
73 char **p2 = p - 20; /* pointer overflow check is needed */ 73 char **p2 = p - 20; /* pointer overflow check is needed */
74 p2 = p - 20; 74 p2 = p - 20;
75 p2 += 5; 75 p2 += 5;
76 } 76 }
77 77
78 /* { dg-final { scan-tree-dump-times "__ubsan_handle_pointer_overflow" 17 "optimized" } } */ 78 /* { dg-final { scan-tree-dump-times "__ubsan_handle_pointer_overflow" 14 "optimized" } } */