https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80562
Volker Reichelt changed:
What|Removed |Added
CC||reichelt at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80971
Volker Reichelt changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
|NEW
Last reconfirmed||2017-06-11
CC||reichelt at gcc dot gnu.org
Summary|ICE on invalid c++ code |[5/6/7/8 Regression] ICE on
|with -std=c++1z in |invalid c++ code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid testcase triggers an ICE since GCC 7.1.0:
===
const int i = 0;
void foo
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid testcase triggers an ICE on trunk
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet (compiled with -std=c++11) triggers
an ICE since GCC 5.1.0
, ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet (compiled with -std=c++0x) triggers
an ICE since
, ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet (compiled with -std=c++1z) triggers
an ICE
, ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers an ICE since GCC 5.2.0
(when compiled
, ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers an ICE since GCC 7.1.0
Keywords: error-recovery, ice-on-invalid-code, openmp
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers an ICE since
||reichelt at gcc dot gnu.org
--- Comment #10 from Volker Reichelt ---
Here's an even simpler example that ICEs since GCC 4.9.0:
=
float foo();
struct A
{
static float x;
};
double A::x = foo();
void bar()
{
A::x = 0
-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid testcase triggers an ICE since GCC 7.1.0
(when compiled with -O2
: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following (valid?) testcase triggers an ICE since GCC 4.9.0
(when compiled with -fopenmp
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 5.1.0
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 5.1.0:
===
struct
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79056
Volker Reichelt changed:
What|Removed |Added
Keywords||error-recovery
Last
-12-14 00:00:00 |2017-06-05
CC||reichelt at gcc dot gnu.org
Summary|ICE: tree check: expected |[5/6/7/8 Regression] ICE:
|tree that contains 'decl|tree check: expected tree
|minimal' structure
Priority: P3
Component: sanitizer
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
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
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The testcase g++.dg/torture/pr80334.C triggers an ICE when compiled
with -std=c++1z since GCC 7.1.0
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet (compiled with -std=c++1z)
triggers an ICE since GCC 7.1.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35443
Bug 35443 depends on bug 35441, which changed state.
Bug 35441 Summary: pretty-printer cannot handle some expressions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35441
What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35442
Bug 35442 depends on bug 35441, which changed state.
Bug 35441 Summary: pretty-printer cannot handle some expressions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35441
What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35742
Bug 35742 depends on bug 35441, which changed state.
Bug 35441 Summary: pretty-printer cannot handle some expressions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35441
What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35441
Volker Reichelt changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35441
--- Comment #11 from Volker Reichelt ---
Author: reichelt
Date: Tue May 9 19:09:22 2017
New Revision: 247810
URL: https://gcc.gnu.org/viewcvs?rev=247810=gcc=rev
Log:
PR c/35441
* c-pretty-print.c (c_pretty_printer::expression):
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80280
--- Comment #4 from Volker Reichelt ---
Author: reichelt
Date: Sun May 7 19:41:09 2017
New Revision: 247728
URL: https://gcc.gnu.org/viewcvs?rev=247728=gcc=rev
Log:
PR translation/80280
* call.c (print_z_candidate): Fix
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79664
Volker Reichelt changed:
What|Removed |Added
Known to work||6.3.1, 7.1.0
Target Milestone|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79681
Volker Reichelt changed:
What|Removed |Added
Status|NEW |RESOLVED
Known to work|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79639
Volker Reichelt changed:
What|Removed |Added
Status|NEW |RESOLVED
Known to work|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79580
Volker Reichelt changed:
What|Removed |Added
CC||reichelt at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58634
Volker Reichelt changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80296
Volker Reichelt changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80296
--- Comment #3 from Volker Reichelt ---
Author: reichelt
Date: Tue Apr 4 16:30:44 2017
New Revision: 246683
URL: https://gcc.gnu.org/viewcvs?rev=246683=gcc=rev
Log:
PR c++/80296
* cxx-pretty-print.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35441
--- Comment #10 from Volker Reichelt ---
Patch at https://gcc.gnu.org/ml/gcc-patches/2017-03/msg00498.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80296
--- Comment #2 from Volker Reichelt ---
Patch at https://gcc.gnu.org/ml/gcc-patches/2017-04/msg00111.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80296
Volker Reichelt changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
GCC gives a broken daignostic for the following invalid code snippet
since GCC 4.7.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77339
--- Comment #6 from Volker Reichelt ---
*** Bug 58987 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58987
Volker Reichelt changed:
What|Removed |Added
Status|NEW |RESOLVED
Known to work|
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers an ICE since GCC 5.1.0:
void foo() {}
struct
||reichelt at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #1 from Volker Reichelt ---
The C++ standard says in [expr.dynamic.cast]:
1 The result of the expression dynamic_cast(v) is the result of converting
the expression v to type T. T
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following code snippet triggers an ICE since GCC 6.1.0
, ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers a broken error message
followed
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet (compiled with -std=c++1y)
triggers an ICE since GCC 4.8.0
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet (compiled with -fopenmp)
triggers an ICE since GCC 4.9.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80059
--- Comment #11 from Volker Reichelt ---
Hi Marek, thanks for the fix!
However, the ChangeLog entry is wrong.
In the final version you didn't call instantiate_non_dependent_expr_sfinae,
but instantiate_non_dependent_expr instead.
Would you
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28561
Volker Reichelt changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE on trunk
(when compiled with -std=c++1z):
=
template struct
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79549
Volker Reichelt changed:
What|Removed |Added
CC||barry.revzin at gmail dot com
---
||reichelt at gcc dot gnu.org
Resolution|--- |DUPLICATE
--- Comment #2 from Volker Reichelt ---
This was fixed with Jason's patch for PR79549, so marking it as duplicate.
Btw, clang 4.0.0 accepts the code.
*** This bug has been marked
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 5.1.0
(when compiled with -std=c++1y
: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet (compiled with -std=c++1z) triggers an ICE on
trunk:
struct A {};
struct B : virtual
-on-invalid-code, trans-mem
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet (compiled with -fgnu-tm) triggers
an ICE on trunk
-on-valid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following code snippet (compiled with -fpermissive) triggers an ICE
since GCC 6.1.0
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The caret is missing in the error message for testcase
gcc/testsuite/g++.dg/rtti/typeid6.C
since GCC 6.1.0:
gcc-6-branch:
typeid6.C
|unassigned at gcc dot gnu.org |reichelt at gcc dot
gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28254
Volker Reichelt changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58987
Volker Reichelt changed:
What|Removed |Added
Keywords|ice-on-valid-code |ice-on-invalid-code
Known to
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers an ICE on trunk:
==
bool foo()
{
return
||reichelt at gcc dot gnu.org
Known to work||6.1.0
Ever confirmed|0 |1
Known to fail||7.0.1
--- Comment #1 from Volker Reichelt ---
Even simpler testcase, crashes with -O -fsanitize
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following (valid?) code snippet (compiled with -std=c++1y) triggers an ICE
since GCC 5.1.0:
=
struct A
{
A* x
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet (compiled with -std=c++1y) triggers
an ICE since GCC 5.1.0:
=
struct A
{
A* p
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79687
--- Comment #19 from Volker Reichelt ---
No, that's again invalid.
The second operand of .* or .-> must point to a valid class member,
otherwise you'll get undefined behavior.
The only way to achieve this in this class with a single member is to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79687
--- Comment #16 from Volker Reichelt ---
According to [expr.mptr.oper] the code in comment 15 has undefined behavior,
because the second operand of ->* is the null-pointer-to-member-value.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79687
--- Comment #11 from Volker Reichelt ---
The following testcase returns 1 for me since at least GCC 4.7.
clang (3.2 - 4.0.0rc2), VS (2012, 2015) and ICC all return 0.
struct A
{
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79687
--- Comment #5 from Volker Reichelt ---
The problems actually seem to be older.
We experienced crashes already with GCC 4.8.2, but don't have a small testcase
for this, yet.
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following code snippet is miscompiled since GCC 6:
==
struct A
{
char c;
};
int main()
{
char
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 5.1.0:
struct A
{
int i : 4;
};
constexpr bool foo()
{
A x
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The followiong code snippet triggers an ICE on trunk when
compiled with "-Wduplicated-branches -fo
: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following code snippet (compiled with "-std=c++1y -fopenmp")
triggers an ICE since GCC 5.1.0:
==
constexpr int foo()
{
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
Build: [
The following valid line of code triggers an ICE since GCC 4.2.0
: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 5.1.0:
===
template void foo(F f)
{
f(1
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid testcase (compiled with "-std=c++1y -O")
triggers an ICE since GCC 6.1.0:
=
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79607
--- Comment #1 from Volker Reichelt ---
This might be related to PR79535.
-on-valid-code, rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 5.1.0
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE on trunk:
=
struct A
{
int
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79555
Volker Reichelt changed:
What|Removed |Added
Known to work|6.3.1 |
Summary|[7 Regression]
Keywords: diagnostic
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The C++ front-end (with -Wextra enabled) complains about the following
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers an ICE since the introduction
of auto as function parameter (GCC 4.9.0
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following invalid code snippet triggers since GCC 5.1.0
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE on trunk:
==
template void foo(int* p)
{
#pragma GCC
|P3
CC||reichelt at gcc dot gnu.org
Known to work|4.9.4 |4.8.4
Known to fail||4.9.4
--- Comment #4 from Volker Reichelt ---
Here's a slightly modified testcase that triggers
-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following code snippet (compiled with "-fpermissive") triggers an ICE since
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79368
Volker Reichelt changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79091
Volker Reichelt changed:
What|Removed |Added
CC||reichelt at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79368
--- Comment #2 from Volker Reichelt ---
I was using r244478 from 2017-01-15.
I'll retry with today's version.
The command line was just plain "g++ -c".
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE on trunk:
===
typedef struct{}* X;
template
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE since GCC 6.1.0:
==
struct A {};
struct B
{
B() {}
int i
: ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following two invalid testcases trigger ICEs on trunk
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
Compiling the following valid code results in a crash
===
union U
{
enum E { e };
};
struct A
{
U u{};
};
===
bug3.cc:8:7
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70147
Volker Reichelt changed:
What|Removed |Added
CC||reichelt at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70029
Volker Reichelt changed:
What|Removed |Added
Known to work||5.3.0
Target Milestone|---
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet triggers an ICE on trunk when compiled with
"-std=c++11 -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68586
Volker Reichelt changed:
What|Removed |Added
CC||jason at redhat dot com
Known to
Severity: major
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The following valid code snippet is wrongly rejected on trunk (6.0.0 20151122
||2015-11-27
CC||reichelt at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #3 from Volker Reichelt ---
I have the same problem on an OpenSUSE 13.1 distribution.
++
Assignee: unassigned at gcc dot gnu.org
Reporter: reichelt at gcc dot gnu.org
Target Milestone: ---
The compiler loops forever when compiling the following invalid testcase with
-std=c++14:
constexpr int foo()
{
while (true) x;
return 0;
}
int i = foo
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58597
--- Comment #4 from Volker Reichelt reichelt at gcc dot gnu.org ---
The ICE disappered on the 4.9 branch in GCC 4.9.2.
But the testcase still crashes trunk with a different stack trace:
bug.cc:6:12: internal compiler error: Segmentation fault
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64571
Volker Reichelt reichelt at gcc dot gnu.org changed:
What|Removed |Added
Known to work||4.8.0
201 - 300 of 762 matches
Mail list logo
