[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-04 13:47 -------
va-arg-22.c:10: warning: second parameter of 'va_start' not last named argument


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.0.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] New: [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

typedef __builtin_va_list __gnuc_va_list;
typedef __gnuc_va_list va_list;

extern void abort (void);

void foo (int size, ...)
{
  va_list ap;
  if (size != 21)
    abort ();
  __builtin_va_start(ap,size);
  __builtin_va_end(ap);
}

I found this while fixing another bug.

-- 
           Summary: [4.0 Regression] Extraneous warning with var_start and
                    optimization
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-05 16:51 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-12-05 16:51:12
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-20 13:56 -------
: Search converges between 2004-05-11-trunk (#454) and 2004-05-14-trunk (#455).
: Search converges between 2003-07-16-ssa (#32) and 2003-07-17-ssa (#33).

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-22 07:45 -------
Note we don't produce wrong code with this example but that is because I made sure we don't but the 
problem is that we don't know that we should not prograte into __builtin_var_start.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-05 20:41 -------
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2005-01/msg00299.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-07 09:01 -------
Subject: Bug 18828

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jakub@gcc.gnu.org	2005-01-07 09:01:00

Modified files:
	gcc            : ChangeLog builtins.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: 20050105-2.c 

Log message:
	PR tree-optimization/18828
	* builtins.c (expand_builtin_next_arg): Remove argument and all
	the argument checking.
	(expand_builtin): Adjust caller.
	(expand_builtin_va_start): Likewise.  Remove error for too many
	arguments.
	(fold_builtin_next_arg): Issue error for too many arguments.
	After checking arguments, replace them with magic arguments that
	prevent further checking of the args.
	
	* gcc.dg/20050105-2.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7054&r2=2.7055
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/builtins.c.diff?cvsroot=gcc&r1=1.410&r2=1.411
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4860&r2=1.4861
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20050105-2.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828

[Bug tree-optimization/18828] [4.0 Regression] Extraneous warning with var_start and optimization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-07 13:48 -------
Fixed, thanks Jakub.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18828