This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/85365] New: -Wrestrict false positives with -fsanitize=undefined
- From: "sirl at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 12 Apr 2018 06:37:53 +0000
- Subject: [Bug c/85365] New: -Wrestrict false positives with -fsanitize=undefined
- Auto-submitted: auto-generated
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85365
Bug ID: 85365
Summary: -Wrestrict false positives with -fsanitize=undefined
Product: gcc
Version: 8.0.1
Status: UNCONFIRMED
Keywords: diagnostic
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: sirl at gcc dot gnu.org
Target Milestone: ---
This small testcase warns 3 time when compiled with 8.0.1@r259308:
extern char a[], b[], d[];
int c, e;
char *strcpy(char *, const char *);
char *strcat(char *, const char *);
__SIZE_TYPE__ strlen(char *);
void t1(char *g) {
strcpy(g + 4, c ? b : a);
e = strlen(g + 4);
}
void t2(char *g) {
strcpy(g + 4, c ? b : a);
strcat(g + 4, d);
}
void t3(char *g) {
strcat(g + 4, c ? b : a);
strcat(g + 4, d);
}
# gcc-8 -c -O2 -fsanitize=undefined -Wrestrict t.c
t.c: In function 't1':
t.c:8:3: warning: 'strcpy' source argument is the same as destination
[-Wrestrict]
strcpy(g + 4, c ? b : a);
^~~~~~~~~~~~~~~~~~~~~~~~
t.c: In function 't2':
t.c:13:3: warning: 'strcpy' source argument is the same as destination
[-Wrestrict]
strcpy(g + 4, c ? b : a);
^~~~~~~~~~~~~~~~~~~~~~~~
t.c: In function 't3':
t.c:18:3: warning: 'strcat' source argument is the same as destination
[-Wrestrict]
strcat(g + 4, c ? b : a);
^~~~~~~~~~~~~~~~~~~~~~~~
gcc-7 didn't warn for this testcase.