public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/17909] New: ICE: verifiy_stms failed
@ 2004-10-09 13:05 aj at gcc dot gnu dot org
2004-10-09 13:07 ` [Bug middle-end/17909] " aj at gcc dot gnu dot org
` (12 more replies)
0 siblings, 13 replies; 14+ messages in thread
From: aj at gcc dot gnu dot org @ 2004-10-09 13:05 UTC (permalink / raw)
To: gcc-bugs
I get the following ICE:
/opt/gcc/4.0-devel/bin/g++ -fpreprocessed -O2 -c kvi_qstring.ii -v
Reading specs from /opt/gcc/4.0-devel/lib/gcc/x86_64-suse-linux-gnu/4.0.0/specs
Configured with: /cvs/gcc/configure --prefix=/opt/gcc/4.0-devel --disable-nls
--enable-threads=posix --enable-clocale=gnu --enable-__cxa_atexit
--enable-shared--enable-languages=c,c++,treelang,java,f95,objc
--with-system-zlib x86_64-suse-linux-gnu
Thread model: posix
gcc version 4.0.0 20041009 (experimental)
/opt/gcc/4.0-devel/libexec/gcc/x86_64-suse-linux-gnu/4.0.0/cc1plus
-fpreprocessed kvi_qstring.ii -quiet -dumpbase kvi_qstring.ii -mtune=k8
-auxbase kvi_qstring -O2 -version -fpreprocessed -o /tmp/ccIEeC9B.s
GNU C++ version 4.0.0 20041009 (experimental) (x86_64-suse-linux-gnu)
compiled by GNU C version 4.0.0 20041009 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
kvi_qstring.ii: In function `void KviQString::appendFormatted(QString&, const
QString&, ...)':
kvi_qstring.ii:20770: error: Invalid operand to unary operator
(struct QStringD.17968 *) szFmtD.22381;
kvi_qstring.ii:20770: internal compiler error: verify_stmts failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
--
Summary: ICE: verifiy_stms failed
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: aj at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: x86_64-linux-gnu
GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
@ 2004-10-09 13:07 ` aj at gcc dot gnu dot org
2004-10-09 15:39 ` [Bug middle-end/17909] [4.0 Regression] " pinskia at gcc dot gnu dot org
` (11 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: aj at gcc dot gnu dot org @ 2004-10-09 13:07 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From aj at gcc dot gnu dot org 2004-10-09 13:07 -------
Created an attachment (id=7315)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7315&action=view)
Preprocessed source file
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
2004-10-09 13:07 ` [Bug middle-end/17909] " aj at gcc dot gnu dot org
@ 2004-10-09 15:39 ` pinskia at gcc dot gnu dot org
2004-10-09 16:20 ` pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-09 15:39 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-09 15:39 -------
The code looks wrong (aka invalid):
__builtin_va_start(list,((const char *)(&(szFmt))));
Fixing the problem to be:
__builtin_va_start(list,szFmt);
Makes the code work which is correct I think.
Someone should correct me if I am wrong.
Reduced testcase:
struct QString {};
typedef __builtin_va_list __gnuc_va_list;
typedef __gnuc_va_list va_list;
QString & sprintf(QString &s,const QString &szFmt,...)
{
va_list list;
__builtin_va_start(list,((const char *)(&(szFmt))));
__builtin_va_end(list);
return s;
}
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|ICE: verifiy_stms failed |[4.0 Regression] ICE:
| |verifiy_stms failed
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
2004-10-09 13:07 ` [Bug middle-end/17909] " aj at gcc dot gnu dot org
2004-10-09 15:39 ` [Bug middle-end/17909] [4.0 Regression] " pinskia at gcc dot gnu dot org
@ 2004-10-09 16:20 ` pinskia at gcc dot gnu dot org
2004-10-09 17:40 ` schwab at suse dot de
` (9 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-09 16:20 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-09 16:20 -------
Just a quote from the C standard (as the C++ standard says to reference the C standard here):
"The parameter parmN is the identifier of the rightmost parameter in the variable parameter list in the
function definition" so these seems even more invalid/undefined.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (2 preceding siblings ...)
2004-10-09 16:20 ` pinskia at gcc dot gnu dot org
@ 2004-10-09 17:40 ` schwab at suse dot de
2004-10-09 18:31 ` pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: schwab at suse dot de @ 2004-10-09 17:40 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From schwab at suse dot de 2004-10-09 17:40 -------
This is clearly invalid code, even without the address operator.
18.7.3 The restrictions that ISO C places on the second parameter to the
va_start() macro in header <stdarg.h> are different in this International
Standard. The parameter parmN is the identifier of the rightmost parameter in
the variable parameter list of the function definition (the one just before
the ...). If the parameter parmN is declared with a function, array, or
reference type, or with a type that is not compatible with the type that
results when passing an argument for which there is no parameter, the behavior
is undefined.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-invalid-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (3 preceding siblings ...)
2004-10-09 17:40 ` schwab at suse dot de
@ 2004-10-09 18:31 ` pinskia at gcc dot gnu dot org
2004-10-10 3:41 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-09 18:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-09 18:31 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-10-09 18:31:17
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (4 preceding siblings ...)
2004-10-09 18:31 ` pinskia at gcc dot gnu dot org
@ 2004-10-10 3:41 ` pinskia at gcc dot gnu dot org
2004-10-10 3:57 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-10 3:41 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-10 03:41 -------
I have a fix will be posting soon, even though this is undefined we accepted it before and created what
people expected.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |pinskia at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (5 preceding siblings ...)
2004-10-10 3:41 ` pinskia at gcc dot gnu dot org
@ 2004-10-10 3:57 ` pinskia at gcc dot gnu dot org
2004-10-19 0:46 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-10 3:57 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-10 03:57 -------
Posted a patch/rfc for the problem: <http://gcc.gnu.org/ml/gcc-patches/2004-10/msg00842.html>.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (6 preceding siblings ...)
2004-10-10 3:57 ` pinskia at gcc dot gnu dot org
@ 2004-10-19 0:46 ` pinskia at gcc dot gnu dot org
2004-11-24 18:49 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-19 0:46 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-19 00:46 -------
I am updating the patch per my suggestion and Jason asking for it.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords|patch |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (7 preceding siblings ...)
2004-10-19 0:46 ` pinskia at gcc dot gnu dot org
@ 2004-11-24 18:49 ` pinskia at gcc dot gnu dot org
2004-12-04 14:12 ` cvs-commit at gcc dot gnu dot org
` (3 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-24 18:49 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-24 18:49 -------
New patch here: <http://gcc.gnu.org/ml/gcc-patches/2004-11/msg02048.html>.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (8 preceding siblings ...)
2004-11-24 18:49 ` pinskia at gcc dot gnu dot org
@ 2004-12-04 14:12 ` cvs-commit at gcc dot gnu dot org
2004-12-04 14:15 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-12-04 14:12 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-12-04 14:11 -------
Subject: Bug 17909
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: pinskia@gcc.gnu.org 2004-12-04 14:11:47
Modified files:
gcc : gimplify.c builtins.c tree.h
Log message:
2004-12-04 Andrew Pinski <pinskia@physics.uc.edu>
PR middle-end/17909
* builtins.c (fold_builtin_next_arg): Export and return true
when there is a warning or an error.
(expand_builtin_va_start): When fold_builtin_next_arg returns true,
return const0_rtx.
(expand_builtin): Likewise.
* gimplify.c (gimplify_call_expr): Error out if there is not
enough arguments to va_start. Call fold_builtin_next_arg also
on the second argument.
* tree.h (fold_builtin_next_arg): Prototype.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/gimplify.c.diff?cvsroot=gcc&r1=2.89&r2=2.90
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/builtins.c.diff?cvsroot=gcc&r1=1.406&r2=1.407
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree.h.diff?cvsroot=gcc&r1=1.662&r2=1.663
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (9 preceding siblings ...)
2004-12-04 14:12 ` cvs-commit at gcc dot gnu dot org
@ 2004-12-04 14:15 ` pinskia at gcc dot gnu dot org
2004-12-04 14:15 ` cvs-commit at gcc dot gnu dot org
2004-12-05 17:47 ` cvs-commit at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-12-04 14:15 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-12-04 14:15 -------
Fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (10 preceding siblings ...)
2004-12-04 14:15 ` pinskia at gcc dot gnu dot org
@ 2004-12-04 14:15 ` cvs-commit at gcc dot gnu dot org
2004-12-05 17:47 ` cvs-commit at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-12-04 14:15 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-12-04 14:15 -------
Subject: Bug 17909
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: pinskia@gcc.gnu.org 2004-12-04 14:15:02
Modified files:
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/g++.dg/other: vararg-2.C
Log message:
2004-12-04 Andrew Pinski <pinskia@physics.uc.edu>
PR middle-end/17909
* g++.dg/other/vararg-2.C: New test.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4714&r2=1.4715
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/vararg-2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug middle-end/17909] [4.0 Regression] ICE: verifiy_stms failed
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
` (11 preceding siblings ...)
2004-12-04 14:15 ` cvs-commit at gcc dot gnu dot org
@ 2004-12-05 17:47 ` cvs-commit at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-12-05 17:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-12-05 17:47 -------
Subject: Bug 17909
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: pinskia@gcc.gnu.org 2004-12-05 17:47:18
Modified files:
gcc : ChangeLog
Log message:
Add forgotten to check in changeLog:
2004-12-04 Andrew Pinski <pinskia@physics.uc.edu>
PR middle-end/17909
* builtins.c (fold_builtin_next_arg): Export and return true
when there is a warning or an error.
(expand_builtin_va_start): When fold_builtin_next_arg returns true,
return const0_rtx.
(expand_builtin): Likewise.
* gimplify.c (gimplify_call_expr): Error out if there is not
enough arguments to va_start. Call fold_builtin_next_arg also
on the second argument.
* tree.h (fold_builtin_next_arg): Prototype.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6716&r2=2.6717
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17909
^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2004-12-05 17:47 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-10-09 13:05 [Bug middle-end/17909] New: ICE: verifiy_stms failed aj at gcc dot gnu dot org
2004-10-09 13:07 ` [Bug middle-end/17909] " aj at gcc dot gnu dot org
2004-10-09 15:39 ` [Bug middle-end/17909] [4.0 Regression] " pinskia at gcc dot gnu dot org
2004-10-09 16:20 ` pinskia at gcc dot gnu dot org
2004-10-09 17:40 ` schwab at suse dot de
2004-10-09 18:31 ` pinskia at gcc dot gnu dot org
2004-10-10 3:41 ` pinskia at gcc dot gnu dot org
2004-10-10 3:57 ` pinskia at gcc dot gnu dot org
2004-10-19 0:46 ` pinskia at gcc dot gnu dot org
2004-11-24 18:49 ` pinskia at gcc dot gnu dot org
2004-12-04 14:12 ` cvs-commit at gcc dot gnu dot org
2004-12-04 14:15 ` pinskia at gcc dot gnu dot org
2004-12-04 14:15 ` cvs-commit at gcc dot gnu dot org
2004-12-05 17:47 ` cvs-commit at gcc dot gnu dot 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).