https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103521
--- Comment #3 from David Malcolm ---
Comparing the IR, the discrepancy looks like it relates to signedness of the
"char" type.
Works with --target=powerpc64le-linux-gnu if I add -fsigned-char to the command
line; otherwise it fails as noted
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103521
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-03-02
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
--- Comment #4 from David Malcolm ---
> trunk.git/gcc/d/expr.cc:689:17: warning: Identical inner 'if' condition is
> always true. [identicalInnerCondition]
In 'void visit (CatExp *e)':
682 │ if (e->e1->op == EXP::concatenate)
683 │
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
--- Comment #3 from David Malcolm ---
> trunk.git/gcc/config/mn10300/mn10300.cc:888:8: warning: Identical inner 'if'
> condition is always true. [identicalInnerCondition]
In mn10300_expand_prologue:
877 │ /* Consider alternative
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
--- Comment #2 from David Malcolm ---
> trunk.git/gcc/config/avr/avr.cc:8674:22: warning: Identical inner 'if'
> condition is always true. [identicalInnerCondition]
In avr_out_fract:
8665 │ /* We need to consider to-be-discarded
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
David Malcolm changed:
What|Removed |Added
Component|analyzer|c
Assignee|dmalcolm at gcc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
--- Comment #7 from David Malcolm ---
> trunk.git/zlib/contrib/minizip/zip.c:1212:26: warning: Identical inner 'if'
> condition is always true. [identicalInnerCondition]
In zipOpenNewFileInZip4_64:
1206 │ #ifdef HAVE_BZIP2
1207 │ if
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
--- Comment #5 from David Malcolm ---
> trunk.git/libffi/src/m32r/ffi.c:66:15: warning: Identical inner 'if'
> condition is always true. [identicalInnerCondition]
In ffi_prep_args:
56 │ for (i = ecif->cif->nargs, p_arg =
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680
--- Comment #6 from David Malcolm ---
> trunk.git/liboffloadmic/runtime/offload_engine.cpp:113:13: warning: Identical
> inner 'if' condition is always true. [identicalInnerCondition]
108 │ void Engine::init(void)
109 │ {
110 │ if
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105017
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-03-22
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105022
Bug ID: 105022
Summary: -Wanalyzer-tainted-allocation-size doesn't warn for
custom allocators marked with "malloc" attribute
Product: gcc
Version: 12.0
Status:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104997
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105017
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104997
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105022
David Malcolm changed:
What|Removed |Added
Resolution|--- |WONTFIX
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104860
David Malcolm changed:
What|Removed |Added
Resolution|--- |INVALID
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105022
--- Comment #1 from David Malcolm ---
https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-malloc-function-attribute
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|WAITING
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95188
David Malcolm changed:
What|Removed |Added
Summary|analyzer-unsafe-call-within |State explosion on
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
David Malcolm changed:
What|Removed |Added
Keywords||patch
--- Comment #5 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105057
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-03-25
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105057
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
David Malcolm changed:
What|Removed |Added
Status|WAITING |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105074
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #2 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105112
Bug ID: 105112
Summary: Speed up -fanalyzer on big-code.c
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105112
--- Comment #1 from David Malcolm ---
Example state (picked at random from -fdump-analyzer-exploded-nodes-2 output):
EN 113734:
preds: EN: 113733
succs: EN: 113735
callstring: []
before (SN: 12511 stmt: 0):
if (j_8254 <= 8191)
31 | for (j =
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105112
--- Comment #2 from David Malcolm ---
FWIW, "perf report" shows that these are the top items in the profile:
8.72% libc-2.31.so [.] _int_malloc
6.68% libc-2.31.so [.] _int_free
2.91% cc1 [.] ana::binding_map::binding_map
2.76%
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105074
David Malcolm changed:
What|Removed |Added
CC||bero at lindev dot ch
--- Comment #6
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105113
David Malcolm changed:
What|Removed |Added
Resolution|--- |DUPLICATE
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105085
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Assignee|unassigned at
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105112
--- Comment #3 from David Malcolm ---
Possible simplification: don't try to model floating-point operations e.g. any
binop on a floating point value has unknown_svalue as the result, so that
complicated floating-point computations can be
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102824
--- Comment #2 from David Malcolm ---
make pdf is looking for the images in:
gcc/jit/docs/_build/texinfo/libgccjit-figures
but they're in the source tree in:
gcc/jit/docs/_build/texinfo
I just tried:
git mv
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104073
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
URL|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104293
David Malcolm changed:
What|Removed |Added
Keywords||patch
URL|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104071
David Malcolm changed:
What|Removed |Added
Keywords||patch
URL|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105087
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-03-28
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105087
--- Comment #3 from David Malcolm ---
#include "analyzer-decls.h"
extern void inner_alloc (void **);
void * __attribute__((noinline))
outer_alloc (void)
{
void *result;
inner_alloc ();
return result;
}
void test_1 (void)
{
void *p,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105087
--- Comment #2 from David Malcolm ---
#include "analyzer-decls.h"
extern void *inner_alloc (void);
void * __attribute__((noinline))
outer_alloc (void)
{
return inner_alloc ();
}
void test_1 (void)
{
void *p, *q;
p = outer_alloc ();
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105092
David Malcolm changed:
What|Removed |Added
CC||jakub at redhat dot com,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105087
--- Comment #4 from David Malcolm ---
Am testing a fix.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105087
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105074
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105085
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105102
Bug ID: 105102
Summary: RFE: analyzer handling for asprintf and vasprintf
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105103
Bug ID: 105103
Summary: RFE: detect bogus use of varargs in analyzer
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104954
--- Comment #9 from David Malcolm ---
(In reply to Richard Biener from comment #1)
> Does not enabling sanitizer improve things?
Removing the sanitizer options speeds up the non-analyzer part of the build,
reducing the overall wallclock time
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104954
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104979
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104270
David Malcolm changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104370
Bug ID: 104370
Summary: False positive from
-Wanalyzer-mismatching-deallocation with reallocarray
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104369
Bug ID: 104369
Summary: False positive from
-Wanalyzer-use-of-uninitialized-value with realloc
moving buffer
Product: gcc
Version: 12.0
Status:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104369
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103872
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #3 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104237
--- Comment #6 from David Malcolm ---
FWIW years ago I posted a patch to generalize libgccjit's location
consolidation code so that it could be used by LTO, but IIRC it was rejected.
I spent a few minutes looking in the archives but wasn't
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104270
Bug ID: 104270
Summary: -Wanalyzer-use-of-uninitialized-value is incorrectly
suppressed by -ftrivial-auto-var-init=
Product: gcc
Version: 12.0
Status: UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
--- Comment #2 from David Malcolm ---
Sorry, link should have been:
https://godbolt.org/z/ecWYnE73T
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104289
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-01-31
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308
--- Comment #4 from David Malcolm ---
Yes; using -fdump-ipa-analyzer=stderr shows that the memmove becomes:
_1 = + 1;
_3 = MEM [(char * {ref-all})_1];
MEM [(char * {ref-all})] = _3;
where the first and third stmts in the gimple-ssa
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434
Bug ID: 104434
Summary: Analyzer doesn't know about "pure" and "const"
functions
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434
--- Comment #1 from David Malcolm ---
Seen on
https://github.com/xianyi/OpenBLAS/blob/c5f280a7f0e875d83833d895b2b8b0e341efabf4/lapack-netlib/LAPACKE/src/lapacke_cgbbrd_work.c
where the code has:
if( LAPACKE_lsame( vect, 'b' ) ||
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103872
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104417
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104452
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101081
--- Comment #3 from David Malcolm ---
Thanks. The above patch fixes part (a) of comment #0, but I'm not yet sure
what to do about part (b), so keeping this bug report open for now.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104452
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104224
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103658
David Malcolm changed:
What|Removed |Added
Resolution|--- |WONTFIX
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103658
--- Comment #2 from David Malcolm ---
Note that with -fno-analyzer-state-merge, -fanalyzer warns without optimization
and shows the conditionals you hoped to see:
./xgcc -B. -S -fanalyzer /tmp/foo.c -fno-analyzer-state-merge
/tmp/foo.c: In
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98797
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274
--- Comment #2 from David Malcolm ---
In gimplify_parameters:
x86_64:
(gdb) p data.arg
$2 = {type = , mode = E_BLKmode, named = 1,
pass_by_reference = 0}
hppa64-hpux11.3:
(gdb) p data.arg
$29 = {type = , mode = E_DImode, named = 1,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274
--- Comment #4 from David Malcolm ---
This patch seems to fix it, but I'm not yet sure if it's the correct fix.
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc
index f8f19769258..9b42e9e983d 100644
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274
--- Comment #3 from David Malcolm ---
In theory,
3978 gimplify_assign (local, parm, );
ought to be generating a "pl.0 = pl;" assignment, but we're hitting this case
in gimplify_modify_expr:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-02-10
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104247
--- Comment #3 from David Malcolm ---
Thanks!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103892
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104029
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104062
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #2 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104089
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104062
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103685
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94362
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104159
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #3 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102692
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-01-07
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94362
--- Comment #3 from David Malcolm ---
The root cause is that the analyzer's path feasibility checker erroneously
considers this to be feasible:
(R + 1 > 0) && (R < 0)
for int R (the return value from sk_EVP_PKEY_ASN1_METHOD_num), whereas it's
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104150
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104159
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104224
--- Comment #1 from David Malcolm ---
gcc trunk with -fanalyzer: https://godbolt.org/z/T17TbqYdx
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104224
Bug ID: 104224
Summary: Testcases for analyzer "uninit" from fedora-devel
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104029
David Malcolm changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #3 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103892
--- Comment #2 from David Malcolm ---
Still affects trunk
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105103
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102308
--- Comment #2 from David Malcolm ---
I typoed this bug's ID 102308 as 102208 in the commit message; so the message
went to the wrong bug; here's a copy-and-paste of the commit notification that
went there:
The master branch has been updated
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102308
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102208
David Malcolm changed:
What|Removed |Added
CC||dmalcolm at gcc dot gnu.org
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102824
--- Comment #4 from David Malcolm ---
As noted in https://gcc.gnu.org/pipermail/gcc-patches/2022-April/592889.html
the above patch seems to fix "make jit.pdf", but doesn't fix "make jit.dvi"; it
seems to be looking for .eps files for the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103892
David Malcolm changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105264
David Malcolm changed:
What|Removed |Added
Ever confirmed|0 |1
Status|UNCONFIRMED
401 - 500 of 1328 matches
Mail list logo
