public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/104863] New: [12 regression] ICE in operator[], at vec.h:889
@ 2022-03-10 10:00 dimhen at gmail dot com
2022-03-10 10:27 ` [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251 marxin at gcc dot gnu.org
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: dimhen at gmail dot com @ 2022-03-10 10:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104863
Bug ID: 104863
Summary: [12 regression] ICE in operator[], at vec.h:889
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dimhen at gmail dot com
Target Milestone: ---
r12-6649 PASS
r12-6793 FAIL
r12-7557 FAIL
$ $ cat y.i
extern void g();
struct a {
} b(int c, int d) {
struct a *e = 0;
int f;
if (c & 1 || !(c & 2))
return *e;
f = 0;
for (; f < d - 1; f++)
g(e[1]);
}
$ gcc -fpreprocessed -O1 -fanalyzer -fanalyzer-transitivity y.i
during IPA pass: analyzer
y.i: In function ‘b’:
y.i:9:12: internal compiler error: in operator[], at vec.h:889
9 | for (; f < d - 1; f++)
| ~~^~~~~~~
0xd3c09c vec<ana::svalue const*, va_heap, vl_embed>::operator[](unsigned int)
/home/dimhen/src/gcc_current/gcc/vec.h:889
0xd3c54d vec<ana::equiv_class*, va_heap, vl_embed>::operator[](unsigned int)
/home/dimhen/src/gcc_current/gcc/analyzer/constraint-manager.cc:2031
0xd3c54d vec<ana::equiv_class*, va_heap, vl_ptr>::operator[](unsigned int)
/home/dimhen/src/gcc_current/gcc/vec.h:1495
0xd3c54d ana::constraint_manager::get_equiv_class_by_index(unsigned int)
/home/dimhen/src/gcc_current/gcc/analyzer/constraint-manager.h:428
0xd3c54d ana::equiv_class_id::get_obj(ana::constraint_manager&) const
/home/dimhen/src/gcc_current/gcc/analyzer/constraint-manager.cc:1462
0xd3c54d ana::constraint_manager::add_constraint_internal(ana::equiv_class_id,
ana::constraint_op, ana::equiv_class_id)
/home/dimhen/src/gcc_current/gcc/analyzer/constraint-manager.cc:1982
0x24e1671 ana::constraint_manager::add_unknown_constraint(ana::equiv_class_id,
tree_code, ana::equiv_class_id)
/home/dimhen/src/gcc_current/gcc/analyzer/constraint-manager.cc:1931
0x24e5ab0 ana::constraint_manager::add_constraint(ana::svalue const*,
tree_code, ana::svalue const*)
/home/dimhen/src/gcc_current/gcc/analyzer/constraint-manager.cc:1823
0x1783a70 ana::region_model::add_constraint(ana::svalue const*, tree_code,
ana::svalue const*, ana::region_model_context*)
/home/dimhen/src/gcc_current/gcc/analyzer/region-model.cc:3049
0x1784221 ana::region_model::add_constraint(tree_node*, tree_code, tree_node*,
ana::region_model_context*, ana::rejected_constraint**)
/home/dimhen/src/gcc_current/gcc/analyzer/region-model.cc:3077
0x177011f ana::program_state::on_edge(ana::exploded_graph&,
ana::exploded_node*, ana::superedge const*, ana::uncertainty_t*)
/home/dimhen/src/gcc_current/gcc/analyzer/program-state.cc:1035
0x175deba ana::exploded_graph::process_node(ana::exploded_node*)
/home/dimhen/src/gcc_current/gcc/analyzer/engine.cc:3976
0x175f252 ana::exploded_graph::process_worklist()
/home/dimhen/src/gcc_current/gcc/analyzer/engine.cc:3186
0x17615bd ana::impl_run_checkers(ana::logger*)
/home/dimhen/src/gcc_current/gcc/analyzer/engine.cc:5765
0x176241e ana::run_checkers()
/home/dimhen/src/gcc_current/gcc/analyzer/engine.cc:5836
0x17520a8 execute
/home/dimhen/src/gcc_current/gcc/analyzer/analyzer-pass.cc:87
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Command exited with non-zero status 1
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/dimhen/arch-gcc/gcc_current/bin/gcc
COLLECT_LTO_WRAPPER=/home/dimhen/arch-gcc/gcc_current/libexec/gcc/x86_64-pc-linux-gnu/12.0.1/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
Target: x86_64-pc-linux-gnu
Configured with: /home/dimhen/src/gcc_current/configure
--prefix=/home/dimhen/arch-gcc/gcc_current
--enable-checking=yes,df,fold,rtl,extra --enable-languages=c,c++,lto
--disable-multilib --enable-shared --enable-threads=posix --enable-__cxa_atexit
--enable-gnu-unique-object --enable-linker-build-id
--with-linker-hash-style=gnu --enable-plugin --enable-initfini-array --with-isl
--enable-offload-targets=nvptx-none --without-cuda-driver
--enable-gnu-indirect-function --enable-cet --with-tune=native
--enable-libstdcxx-debug
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.1 20220309 (experimental) [master r12-7557-gd76511138dc] (GCC)
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251
2022-03-10 10:00 [Bug analyzer/104863] New: [12 regression] ICE in operator[], at vec.h:889 dimhen at gmail dot com
@ 2022-03-10 10:27 ` marxin at gcc dot gnu.org
2022-03-10 19:32 ` dmalcolm at gcc dot gnu.org
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-03-10 10:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104863
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2022-03-10
Summary|[12 regression] ICE in |[12 regression] ICE in
|operator[], at vec.h:889 |operator[], at vec.h:889
| |since
| |r12-6782-gc4b8f3730a800251
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
CC| |marxin at gcc dot gnu.org
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-6782-gc4b8f3730a800251.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251
2022-03-10 10:00 [Bug analyzer/104863] New: [12 regression] ICE in operator[], at vec.h:889 dimhen at gmail dot com
2022-03-10 10:27 ` [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251 marxin at gcc dot gnu.org
@ 2022-03-10 19:32 ` dmalcolm at gcc dot gnu.org
2022-03-10 21:53 ` cvs-commit at gcc dot gnu.org
2022-03-10 21:54 ` dmalcolm at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2022-03-10 19:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104863
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this; I'm testing a fix.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251
2022-03-10 10:00 [Bug analyzer/104863] New: [12 regression] ICE in operator[], at vec.h:889 dimhen at gmail dot com
2022-03-10 10:27 ` [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251 marxin at gcc dot gnu.org
2022-03-10 19:32 ` dmalcolm at gcc dot gnu.org
@ 2022-03-10 21:53 ` cvs-commit at gcc dot gnu.org
2022-03-10 21:54 ` dmalcolm at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-03-10 21:53 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104863
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:
https://gcc.gnu.org/g:d016dd7dbb8140f03cde7e2179ebaf9ec3e9d2f1
commit r12-7605-gd016dd7dbb8140f03cde7e2179ebaf9ec3e9d2f1
Author: David Malcolm <dmalcolm@redhat.com>
Date: Thu Mar 10 16:52:01 2022 -0500
analyzer: fix ICE with -fanalyzer-transitivity [PR104863]
gcc/analyzer/ChangeLog:
PR analyzer/104863
* constraint-manager.cc (constraint_manager::add_constraint):
Refresh the EC IDs when adding constraints implied by offsets.
gcc/testsuite/ChangeLog:
PR analyzer/104863
* gcc.dg/analyzer/torture/pr104863.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251
2022-03-10 10:00 [Bug analyzer/104863] New: [12 regression] ICE in operator[], at vec.h:889 dimhen at gmail dot com
` (2 preceding siblings ...)
2022-03-10 21:53 ` cvs-commit at gcc dot gnu.org
@ 2022-03-10 21:54 ` dmalcolm at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2022-03-10 21:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104863
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed by the above commit.
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2022-03-10 21:54 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-10 10:00 [Bug analyzer/104863] New: [12 regression] ICE in operator[], at vec.h:889 dimhen at gmail dot com
2022-03-10 10:27 ` [Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251 marxin at gcc dot gnu.org
2022-03-10 19:32 ` dmalcolm at gcc dot gnu.org
2022-03-10 21:53 ` cvs-commit at gcc dot gnu.org
2022-03-10 21:54 ` dmalcolm at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).