[Bug analyzer/103521] [12 regression] gcc.dg/analyzer/pr93032-mztools.c broken after r12-5585

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103521 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug c/104680] identical inner condition not detected

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104680 David Malcolm changed: What|Removed |Added Component|analyzer|c Assignee|dmalcolm at gcc

[Bug analyzer/104680] identical inner condition not detected

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

[Bug analyzer/104680] identical inner condition not detected

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

[Bug analyzer/104680] identical inner condition not detected

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 =

[Bug analyzer/104680] identical inner condition not detected

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 │

[Bug analyzer/104680] identical inner condition not detected

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

[Bug analyzer/104680] identical inner condition not detected

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

[Bug analyzer/103521] [12 regression] gcc.dg/analyzer/pr93032-mztools.c broken after r12-5585

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

[Bug analyzer/103521] [12 regression] gcc.dg/analyzer/pr93032-mztools.c broken after r12-5585

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103521 David Malcolm changed: What|Removed |Added Last reconfirmed||2022-03-02

[Bug analyzer/104434] Analyzer doesn't know about "pure" and "const" functions

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434 --- Comment #6 from David Malcolm --- OpenBLAS commit adding __attribute__((const)) to the decl: https://github.com/xianyi/OpenBLAS/commit/1c1ffb0591186e50311670369dee2cb450980d9a

[Bug analyzer/104434] Analyzer doesn't know about "pure" and "const" functions

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/104434] Analyzer doesn't know about "pure" and "const" functions

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434 --- Comment #3 from David Malcolm --- OpenBLAS issue filed as https://github.com/xianyi/OpenBLAS/issues/3543 suggesting the use of __attribute__((const)) on LAPACKE_lsame.

[Bug analyzer/104434] Analyzer doesn't know about "pure" and "const" functions

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104434 --- Comment #2 from David Malcolm --- On rereading https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html I think that "pure" isn't strong enough for the above example: the result of a pure function is allowed to change between

[Bug analyzer/104576] False positive from -Wanalyzer-use-of-uninitialized-value from PR 63311

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104576 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/104560] False positive from -Wanalyzer-free-of-non-heap seen with rdma-core

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104560 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/104576] False positive from -Wanalyzer-use-of-uninitialized-value from PR 63311

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104576 --- Comment #1 from David Malcolm --- Potentially just a dup of PR analyzer/104434, but there might be additional issues with the reproducer.

[Bug middle-end/63311] [9/10/11/12 Regression] -O1 optimization introduces valgrind warning

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63311 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org --- Comment

[Bug analyzer/104576] New: False positive from -Wanalyzer-use-of-uninitialized-value from PR 63311

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104576 Bug ID: 104576 Summary: False positive from -Wanalyzer-use-of-uninitialized-value from PR 63311 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity:

[Bug analyzer/104560] New: False positive from -Wanalyzer-free-of-non-heap seen with rdma-core

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104560 Bug ID: 104560 Summary: False positive from -Wanalyzer-free-of-non-heap seen with rdma-core Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal

[Bug analyzer/104524] [12 Regression] ICE in get_or_create_cast, at analyzer/region-model-manager.cc:499

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104524 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/102692] -Wanalyzer-null-dereference false alarm with (!p || q || !p->next)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102692 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/102692] -Wanalyzer-null-dereference false alarm with (!p || q || !p->next)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102692 --- Comment #4 from David Malcolm --- I've been investigating the false positive from -Wanalyzer-use-of-uninitialized-value. It only happens when optimization is turned on, but happens within the FE, before gimplification. Specifically,

[Bug analyzer/104274] FAIL: gcc.dg/analyzer/pr97029.c (test for excess errors)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/104274] FAIL: gcc.dg/analyzer/pr97029.c (test for excess errors)

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 ---

[Bug analyzer/104274] FAIL: gcc.dg/analyzer/pr97029.c (test for excess errors)

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:

[Bug analyzer/104274] FAIL: gcc.dg/analyzer/pr97029.c (test for excess errors)

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,

[Bug analyzer/104274] FAIL: gcc.dg/analyzer/pr97029.c (test for excess errors)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104274 David Malcolm changed: What|Removed |Added Last reconfirmed||2022-02-10 Ever confirmed|0

[Bug analyzer/98797] Simpler version of the XFAIL in casts-1.c with proposed solution

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98797 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/102052] analyser testsuite failures with LLP64 model

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102052 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/104224] Testcases for analyzer "uninit" from fedora-devel

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104224 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/103658] missing -Wanalyzer-use-of-uninitialized-value at -O1 and below for an array access

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103658 David Malcolm changed: What|Removed |Added Resolution|--- |WONTFIX Status|UNCONFIRMED

[Bug analyzer/103658] missing -Wanalyzer-use-of-uninitialized-value at -O1 and below for an array access

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

[Bug analyzer/104452] [12 Regression] ICE: in hashtab_chk_error, at hash-table.cc:137 with -O -fanalyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104452 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/101081] analyzer testsuite failures seen with new glibc due to malloc attribute

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.

[Bug analyzer/104452] [12 Regression] ICE: in hashtab_chk_error, at hash-table.cc:137 with -O -fanalyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104452 David Malcolm changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug analyzer/103872] testcase fail in gcc.dg/analyzer/pr103526.c on riscv64-unknown-elf-gcc

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103872 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/104417] [12 Regression] ICE in check_dynamic_size_for_taint, at analyzer/sm-taint.cc:1058

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104417 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/104434] Analyzer doesn't know about "pure" and "const" functions

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' ) ||

[Bug analyzer/104434] New: Analyzer doesn't know about "pure" and "const" functions

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

[Bug analyzer/104369] False positive from -Wanalyzer-use-of-uninitialized-value with realloc moving buffer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104369 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/103872] testcase fail in gcc.dg/analyzer/pr103526.c on riscv64-unknown-elf-gcc

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103872 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #3 from David

[Bug analyzer/104370] New: False positive from -Wanalyzer-mismatching-deallocation with reallocarray

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:

[Bug analyzer/104369] New: False positive from -Wanalyzer-use-of-uninitialized-value with realloc moving buffer

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:

[Bug analyzer/104270] -Wanalyzer-use-of-uninitialized-value is incorrectly suppressed by -ftrivial-auto-var-init=

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104270 David Malcolm changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug analyzer/104308] no location info provided for [-Wanalyzer-use-of-uninitialized-value] warnings

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

[Bug analyzer/104308] no location info provided for [-Wanalyzer-use-of-uninitialized-value] warnings

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

[Bug analyzer/104308] no location info provided for [-Wanalyzer-use-of-uninitialized-value] warnings

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104308 David Malcolm changed: What|Removed |Added Last reconfirmed||2022-01-31 Ever confirmed|0

[Bug c/104289] -fdiagnostics-parseable-fixits doesn't always generate fixit notes

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104289 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/104270] New: -Wanalyzer-use-of-uninitialized-value is incorrectly suppressed by -ftrivial-auto-var-init=

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

[Bug lto/104237] [11/12 Regression] Emitted binary code changes when -g is enabled at -O1 -flto and optimize attribute since r11-3126-ga8f9b4c54cc35062

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

[Bug analyzer/104247] Compiler warnings on 32-bit system

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104247 --- Comment #3 from David Malcolm --- Thanks!

[Bug analyzer/104224] Testcases for analyzer "uninit" from fedora-devel

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104224 --- Comment #1 from David Malcolm --- gcc trunk with -fanalyzer: https://godbolt.org/z/T17TbqYdx

[Bug analyzer/104224] New: Testcases for analyzer "uninit" from fedora-devel

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

[Bug analyzer/104159] ICE: in finalize, at vector-builder.h:513 with -O -fanalyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104159 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/104150] New test case gcc.dg/analyzer/pr104089.c fails after its introduction in r12-6700

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104150 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/104159] ICE: in finalize, at vector-builder.h:513 with -O -fanalyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104159 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #3 from David

[Bug analyzer/94362] False analyzer report due to i >= 0 and i < 0 on openssl

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94362 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/103685] false positive error: dereference of NULL ‘params’ [CWE-476]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103685 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/94362] False analyzer report due to i >= 0 and i < 0 on openssl

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

[Bug analyzer/104089] ICE in constant_svalue, at analyzer/svalue.h:271

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104089 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/104062] [12 Regression] ICE in get_or_create_cast, at analyzer/region-model-manager.cc:482 since r12-6476-g4f34f8cc1d064bfa

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104062 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/104062] [12 Regression] ICE in get_or_create_cast, at analyzer/region-model-manager.cc:482 since r12-6476-g4f34f8cc1d064bfa

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104062 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #2 from David

[Bug analyzer/103892] -Wanalyzer-double-free false positive when compiling libpipeline

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103892 David Malcolm changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug analyzer/104029] [12 Regression] ICE with -fanalyzer-checker=taint since r12-5230-gb9365b93212041f1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104029 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/104029] [12 Regression] ICE with -fanalyzer-checker=taint since r12-5230-gb9365b93212041f1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104029 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #3 from David

[Bug analyzer/103225] gcc/analyzer/sm-taint.cc:400:25: warning: private field 'm_dir' is not used [-Wunused-private-field]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103225 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug analyzer/103940] RFE: check -Wanalyzer-tainted-size on external fns with attribute ((access)) with a size-index

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103940 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug ipa/101941] [12 Regression] Linux kernel build failure due to retaining fnsplit fragment with __attribute__((__error__))

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101941 David Malcolm changed: What|Removed |Added Priority|P3 |P1 --- Comment #25 from David Malcolm

[Bug analyzer/102692] -Wanalyzer-null-dereference false alarm with (!p || q || !p->next)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102692 David Malcolm changed: What|Removed |Added Last reconfirmed||2022-01-07 Ever confirmed|0

[Bug analyzer/103546] Analyzer reports null dereference in flex scanners

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546 --- Comment #3 from David Malcolm --- The -Wanalyzer-null-dereference false positive seems to be due to the analyzer being overzealous about escaping, where it erroneously is treating yy_buffer_stack as having escaped, and thus can be

[Bug analyzer/103533] Enable "taint" state machine with -fanalyzer without requiring -fanalyzer-checker=taint

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103533 --- Comment #2 from David Malcolm --- Note that as well as the scaling issues, there currently aren't that many sources of taint (currently just a hardcoded one for the result fread); a lot more would be added by [PATCH 0/6] RFC: adding

[Bug analyzer/103940] RFE: check -Wanalyzer-tainted-size on external fns with attribute ((access)) with a size-index

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103940 --- Comment #1 from David Malcolm --- Note that -fanalyzer-checker=taint is currently required in addition to -fanalyzer to use this warning, due to scaling issues (see bug 103533).

[Bug analyzer/103940] New: RFE: check -Wanalyzer-tainted-size on external fns with attribute ((access)) with a size-index

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103940 Bug ID: 103940 Summary: RFE: check -Wanalyzer-tainted-size on external fns with attribute ((access)) with a size-index Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug analyzer/103546] Analyzer reports null dereference in flex scanners

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546 David Malcolm changed: What|Removed |Added Last reconfirmed||2022-01-05 Ever confirmed|0

[Bug analyzer/103685] false positive error: dereference of NULL ‘params’ [CWE-476]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103685 --- Comment #1 from David Malcolm --- Thanks for filing this bug. Please can you provide a preprocessed reproducer (using -E), and state the compilation flags and GCC version that you see this with.

[Bug analyzer/101962] Analyzer NULL false positive with pointer manipulation

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101962 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug jit/103562] Jitted code produces incorrect result when returning 3-member struct from internal function

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103562 --- Comment #7 from David Malcolm --- Should be fixed by the above commit on trunk for gcc 12. Probably should backport this; keeping this open until that's done.

[Bug jit/103562] Jitted code produces incorrect result when returning 3-member struct from internal function

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103562 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #5 from David

[Bug analyzer/103526] -fanalyzer considers memcpy()ed and returned pointer to malloc()ed memory a memory leak

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103526 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/103533] New: Enable "taint" state machine with -fanalyzer without requiring -fanalyzer-checker=taint

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103533 Bug ID: 103533 Summary: Enable "taint" state machine with -fanalyzer without requiring -fanalyzer-checker=taint Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug analyzer/103526] -fanalyzer considers memcpy()ed and returned pointer to malloc()ed memory a memory leak

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103526 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug analyzer/97090] gcc.dg/analyzer/malloc-vs-local-1b.c fails on arm and powerpc64*-linux-gnu

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97090 --- Comment #17 from David Malcolm --- Thanks for the confirmations.

[Bug analyzer/102471] RFE: add support to analyzer testsuite for running SAMATE/SARD tests (e.g. Juliet Test Suite)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102471 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #3 from David

[Bug analyzer/102471] RFE: add support to analyzer testsuite for running SAMATE/SARD tests (e.g. Juliet Test Suite)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102471 --- Comment #2 from David Malcolm --- There's also https://www.nist.gov/itl/ssd/software-quality-group/other-assurance-tool-test-collections Currently the only non-Java collection on the list is: https://sir.csc.ncsu.edu/portal/index.php

[Bug analyzer/103217] analyzer false positive on leak warning when using indirect strdup

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103217 --- Comment #11 from David Malcolm --- Excellent! Thanks for the feedback.

[Bug analyzer/97090] gcc.dg/analyzer/malloc-vs-local-1b.c fails on arm and powerpc64*-linux-gnu

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97090 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/100524] pragma GCC diagnostic ignored "-Wanalyzer-too-complex" ignored by cc1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100524 David Malcolm changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|---

[Bug analyzer/94579] OVS compiled with gcc10 with -fanalyzer since r10-7502-ga96f1c38a787fbc8

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94579 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/99269] False positive -Wanalyzer-malloc-leak/-Wanalyzer-double-free with -fanalyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99269 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/100546] -Wanayzer-null-dereference false positive through noreturn function pointer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100546 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/99269] False positive -Wanalyzer-malloc-leak/-Wanalyzer-double-free with -fanalyzer

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99269 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug analyzer/100524] pragma GCC diagnostic ignored "-Wanalyzer-too-complex" ignored by cc1

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100524 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |WAITING Last reconfirmed|

[Bug analyzer/103217] analyzer false positive on leak warning when using indirect strdup

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103217 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/103217] analyzer false positive on leak warning when using indirect strdup

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103217 David Malcolm changed: What|Removed |Added Status|REOPENED|ASSIGNED --- Comment #7 from David

[Bug analyzer/103217] analyzer false positive on leak warning when using indirect strdup

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103217 --- Comment #6 from David Malcolm --- (In reply to Dominique Martinet from comment #4) [...snip...] Thanks for re-testing it, and the new test cases. > (What do you prefer to move forward -- I've tried reopening the bug but you > really fixed

[Bug jit/100688] Add support for link section

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100688 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |WAITING Ever confirmed|0

[Bug jit/95415] Add support for thread-local variables

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95415 David Malcolm changed: What|Removed |Added Status|ASSIGNED|WAITING --- Comment #4 from David

[Bug jit/95325] Support 128-bit integers

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95325 David Malcolm changed: What|Removed |Added Last reconfirmed||2021-11-20

[Bug analyzer/103217] analyzer false positive on leak warning when using indirect strdup

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103217 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

<    5   6   7   8   9   10   11   12   13   14   >