https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110112
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2023-06-08
Status|UNCONFIRM
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110112
--- Comment #5 from David Malcolm ---
Should be fixed on trunk for gcc 14 by the above patch.
Keeping this open to track backporting it.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109577
--- Comment #4 from David Malcolm ---
Thanks for fixing this Tim.
Keeping open to track backporting this to the gcc 13 branch.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110014
--- Comment #2 from David Malcolm ---
Thanks for fixing this Tim.
Keeping open to track backporting this to the gcc 13 branch.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84890
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
||dmalcolm at gcc dot gnu.org
Status|NEW |RESOLVED
--- Comment #3 from David Malcolm ---
This was fixed in r8-7704-ge1c7971b81abab.
||dmalcolm at gcc dot gnu.org
--- Comment #2 from David Malcolm ---
Thanks for filing this. I'm testing a patch for it.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107583
David Malcolm changed:
What|Removed |Added
CC||dmalcolm at gcc dot gnu.org
at gcc dot gnu.org |dmalcolm at gcc dot
gnu.org
--- Comment #3 from David Malcolm ---
Am working on a fix
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107583
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
David Malcolm changed:
What|Removed |Added
Summary|-Wanalyzer-infinite-recursi |-Wanalyzer-infinite-recursi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110172
--- Comment #1 from David Malcolm ---
Quoting:
https://gcc.gnu.org/onlinedocs/gcc/Code-Gen-Options.html#index-fexceptions
"""
-fexceptions
Enable exception handling. Generates extra code needed to propagate
exceptions. For some targets, th
|dmalcolm at gcc dot
gnu.org
--- Comment #3 from David Malcolm ---
Patch posted here awaiting review:
https://gcc.gnu.org/pipermail/gcc-patches/2023-June/621779.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110164
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110433
--- Comment #1 from David Malcolm ---
I haven't reproduced this yet, but I notice that I forgot to give class
spatial_item a virtual dtor, which looking at the backtrace may be the root
cause.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110426
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110466
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2023-06-28
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110466
--- Comment #3 from David Malcolm ---
With the above fix, the remaining failures are:
FAIL: FAIL
FAIL: FAIL
FAIL: FAIL
which are from testdebuginfo.c; I see:
Reading symbols from
/home/dmalcolm/build/gcc/testsuite/jit4/jit-debuginfo.o...Dwa
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110466
--- Comment #6 from David Malcolm ---
(In reply to Andrew Pinski from comment #5)
> (In reply to Andrew Pinski from comment #4)
> > (In reply to David Malcolm from comment #3)
> > >
> > > Reading symbols from
> > > /home/dmalcolm/build/gcc/te
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110483
--- Comment #1 from David Malcolm ---
Thanks for filing this; sorry about the failures.
What's the endianness of the hosts that this is happening on?
Is there a machine in the GCC compile farm that this happens on?
The row of indices is is cr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110466
--- Comment #9 from David Malcolm ---
Should be fixed on trunk for gcc 14 by the above commits.
Keeping open to track backporting to gcc 13.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110700
David Malcolm changed:
What|Removed |Added
Summary|gcc -fanalyzer |ICE with -fanalyzer
|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112955
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone: ---
Created attachment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112955
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112974
--- Comment #1 from David Malcolm ---
Created attachment 56854
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56854&action=edit
Patch adding reduced reproducer
IRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone: ---
In file included from drivers/xen/privcmd.c:15:
In function ‘kc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112975
--- Comment #1 from David Malcolm ---
Created attachment 56857
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56857&action=edit
Reduced reproducer (needs adding to plugin.exp)
IRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone: ---
drivers/scsi/aacraid/aachba.c: In function ‘force_delete_disk’:
dr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112977
--- Comment #1 from David Malcolm ---
Created attachment 56859
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56859&action=edit
Reduced reproducer (needs adding to plugin.exp)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112704
--- Comment #3 from David Malcolm ---
Aha! Thanks.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112655
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112965
--- Comment #2 from David Malcolm ---
In c-parser.cc's consider_macro:
1843pretty_printer pp;
1844pp_string (&pp, (const char *) tok.val.str.text);
1845pp_newline (&pp);
1846cpp_push_buffer (parse_in,
1847
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112965
--- Comment #3 from David Malcolm ---
A workaround might be to pad pp's buffer with trailing zero bytes up to a
multiple of 16.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112965
--- Comment #4 from David Malcolm ---
(In reply to David Malcolm from comment #3)
> A workaround might be to pad pp's buffer with trailing zero bytes up to a
> multiple of 16.
The following hack "fixes" it (for some definition of "fix"):
diff
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112655
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112792
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112792
--- Comment #4 from David Malcolm ---
Should be fixed on trunk by r14-6622-g5f1bed2a7af828103ca23a3546466a23e8dd2f30
Keeping open to track backporting to GCC 13.
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone: ---
Given:
struct
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113222
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113222
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug 106358 depends on bug 113222, which changed state.
Bug 113222 Summary: ICE with -fanalyzer seen on Linux kernel kernel/sched/core.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113222
What|Removed |Added
--
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112790
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #4 from David Malc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113277
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105102
--- Comment #1 from David Malcolm ---
See also bug 113277
ormal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Created attachment 57027
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57027&action=edit
Reproducer
https://g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113314
--- Comment #1 from David Malcolm ---
Indeed, if this is a single-threaded program, then this code:
63 void
64 fd_add_to_fd_list(volatile struct fdlist* list, int fd)
65 {
66int next;
67int new;
68int old;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2024-01-11
Status|UNCONFIRM
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106147
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11
--- Comment #3 from David Malcolm ---
Should be fixed on trunk for GCC 14 by the above patch.
Still affects GCC 13 and earlier; keeping open to track backporting.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug 106358 depends on bug 106229, which changed state.
Bug 106229 Summary: False positives from -Wanalyzer-tainted-array-index with
unsigned char index
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106229
What|Removed
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106229
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
|ASSIGNED
Last reconfirmed||2024-01-16
Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot
gnu.org
--- Comment #2 from David Malcolm ---
Thanks for filing this bug.
Happens when
if (!exit_after_options)
is skipped, since the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112684
--- Comment #3 from David Malcolm ---
Reproducers for trunk and supported releases:
Trunk:https://godbolt.org/z/fz8o3c7h6
GCC 13.2: https://godbolt.org/z/bnd55zn7K
GCC 12.3: https://godbolt.org/z/qdf54h6nf
GCC 11.4: https://godbolt.o
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112811
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug 106358 depends on bug 112811, which changed state.
Bug 112811 Summary: ICE in -fanalyzer in has_null_terminator
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112811
What|Removed |Added
--
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111361
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112977
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug 106358 depends on bug 112927, which changed state.
Bug 112927 Summary: -Wanalyzer-tainted-size false positive seen in Linux
kernel's drivers/char/ipmi/ipmi_devintf.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112927
What|Re
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112927
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug 106358 depends on bug 112977, which changed state.
Bug 112977 Summary: -Wanalyzer-tainted-offset false positive seen on Linux
kernel's drivers/scsi/aacraid/aachba.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112977
What|Rem
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112969
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112969
--- Comment #3 from David Malcolm ---
Should be fixed on trunk for gcc 14 by the above patch.
Keeping open to track backporting this to other branches.
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Taking the following from this downstream bug report:
https
IRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone: ---
Reduced from false positive in Linux kernel's kernel's fs/ceph/ioctl.c:
: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 106358
Target Milestone: ---
Trunk: https://godbol
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106358
Bug 106358 depends on bug 113654, which changed state.
Bug 113654 Summary: [14 Regression] -Wanalyzer-allocation-size false positive
seen on Linux kernel's drivers/gpu/drm/i915/display/intel_bios.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113654
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111881
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2024-01-30
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113509
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113509
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #2 from David Malc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113509
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113253
--- Comment #1 from David Malcolm ---
Created attachment 57268
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57268&action=edit
Reduced reproducer
Thanks for filing this bug. The attached is a simplified reproducer on trunk,
with:
-fan
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113253
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2024-01-31
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113253
--- Comment #2 from David Malcolm ---
I'm testing a fix.
The bug observably affects trunk and gcc 13.2.
It it probably also present but latent on gcc 12, 11, and 10
(-Wanalyzer-deref-before-check was added in gcc 13).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113253
--- Comment #4 from David Malcolm ---
Should be fixed on trunk for gcc 14 by the above patch.
Keeping open to backport to other branches.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115436
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
Priority: P3
Component: other
Assignee: unassigned at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
See https://godbolt.org/z/5e6d3Pvff (from bug 115436) where the path has:
│
└──> 'my_str_push_char'
: UNCONFIRMED
Severity: normal
Priority: P3
Component: bootstrap
Assignee: unassigned at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Target: aarch64-*-*
Looks like I broke the build on aarch64 with r15-1209
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115465
David Malcolm changed:
What|Removed |Added
Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot
gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115465
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115465
--- Comment #4 from David Malcolm ---
(In reply to David Malcolm from comment #3)
> Build breakage should be fixed by the above patch.
Indeed, https://builder.sourceware.org/buildbot/#/builders/266/builds/3620
succeeded.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106393
--- Comment #4 from David Malcolm ---
(In reply to Eric Gallager from comment #3)
> (In reply to Marek Polacek from comment #2)
> > The rest may have to be implemented in the analyzer.
>
> Hm, let's ask David?
Please open it as a fresh bug aga
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
I find I often forget to add trailing newlines when composing multiline string
literals in C/C++.
For
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115496
--- Comment #1 from David Malcolm ---
gcc's diagnostic-show-locus.cc has lots of examples of such literals (in the
selftests)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115496
--- Comment #4 from David Malcolm ---
A possible input to the logic could be: be more paranoid about strings that
will be used by inline asm.
(In reply to Andi Kleen from comment #3)
> When writing inline assembler an alternative to \n is to us
CFMAKERAW is defined
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: modula2
Assignee: gaius at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
I got
: diagnostic
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Consider e.g.:
void test (unsigned b)
{
for (unsigned i = b; i >= 0;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115564
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112425
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109360
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2024-06-21
Status|UNCONFIRM
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115564
David Malcolm changed:
What|Removed |Added
URL||https://gcc.gnu.org/piperma
: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
A user sent in this report, noting that it might not be in scope for the
analyzer:
SUBJECT:
Wanalyzer-infinite-loop: Add
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115647
--- Comment #1 from David Malcolm ---
There's no warning from the analyzer below -O1:
https://godbolt.org/z/34js3xT8G
but there is at -O1 and above:
https://godbolt.org/z/5z9x1vP6G
which reports:
: In function 'main':
:10:5: warning: infini
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115647
--- Comment #2 from David Malcolm ---
Without optimization
https://godbolt.org/z/15v7zMMo5
the analyzer "sees" this gimple IR:
int main ()
{
const int n;
char i;
int D.3184;
int _1;
unsigned char i.0_2;
unsigned char _3;
int _4;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115647
--- Comment #3 from David Malcolm ---
(In reply to David Malcolm from comment #0)
> In the below `for` statement, the `char` counter `i` has a smaller range
> than the value of the `int` condition `n` (in this case 500) hence it will
> overflow
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115635
--- Comment #1 from David Malcolm ---
"make selftest-valgrind" is clean for me. Note that if you can reproducer this
standalone, "make selftest-gdb" is a handy way to run the selftests under the
debugger.
FWIW, the output suggests that the ass
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97687
--- Comment #2 from David Malcolm ---
(In reply to Nicholas Fraser from comment #0)
Behavior confirmed on Compiler Explorer with trunk (for GCC 15); URLs as
follows:
>
> gcc a.c
https://godbolt.org/z/rxbz5eWMd
> gcc -Wfatal-errors a.c
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97687
--- Comment #3 from David Malcolm ---
The "in expansion of macro ‘FOO’" notes (messages 2 and 4) are coming from the
diagnostic finalizer, and so they are effectively printed as part of the first
"error" (message 1) and the "previous declaration
3201 - 3300 of 3524 matches
Mail list logo
