https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109313
Bug ID: 109313
Summary: Incorrect line number in Use-After-Scope report
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: sanitizer
Assignee: unassigned at gcc dot gnu.org
Reporter: shaohua.li at inf dot ethz.ch
CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, marxin at
gcc dot gnu.org
Target Milestone: ---
For the following code, Asan reports an incorrect line number at -O1 and above.
Compiler explorer: https://godbolt.org/z/KsroWf9M6
% cat -n a.c
1 int a, b;
2 int main() {
3 int *c=&a;
4 b = 0;
5 for (; b < 1; b++) {
6 int d=1;
7 c = &d;
8 if (a)
9 break;
10 }
11 if (*c) {
12 int e[1]={2};
13 return e[0];
14 }
15 }
%
% gcc-tk -O0 -fsanitize=address a.c && ./a.out
=================================================================
==1==ERROR: AddressSanitizer: stack-use-after-scope on address 0x7f2293700030
at pc 0x0000004012de bp 0x7ffca6ef0690 sp 0x7ffca6ef0688
READ of size 4 at 0x7f2293700030 thread T0
#0 0x4012dd in main /a.c:11
...
%
% gcc-tk -O1 -fsanitize=address a.c && ./a.out
=================================================================
==1==ERROR: AddressSanitizer: stack-use-after-scope on address 0x7f7c4d200020
at pc 0x0000004011ee bp 0x7fff0179f250 sp 0x7fff0179f248
READ of size 4 at 0x7f7c4d200020 thread T0
#0 0x4011ed in main /a.c:5
...
%
