[Bug c++/35049] New: [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[Bug c++/35049] New: [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dominiq at lps dot ens dot fr]

At rev. 131985 with the last patch for PR35035, g++.dg/conversion/simd3.C fails
on i686-apple-darwin9 for both 32 and 64 bit modes with:

/opt/gcc/_gcc_clean/gcc/testsuite/g++.dg/conversion/simd3.C: In function 'void
foo()':
/opt/gcc/_gcc_clean/gcc/testsuite/g++.dg/conversion/simd3.C:12: error: invalid
operands to binary + (have 'float __vector__' and 'int __vector__')


-- 
           Summary: [4.3 Regression] g++.dg/conversion/simd3.C:12: error:
                    invalid operands to binary + (have 'float __vector__'
                    and 'int __vector__')
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dominiq at lps dot ens dot fr
 GCC build triplet: i686-apple-darwin9
  GCC host triplet: i686-apple-darwin9
GCC target triplet: i686-apple-darwin9


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-02-01 10:28 -------
Regressions should have a target milestone.

But -- this error is expected?  For reference:

/* { dg-do compile } */

typedef int myint;

float __attribute__((vector_size(16))) b;
int __attribute__((vector_size(16))) d;
myint __attribute__((vector_size(16))) d2;
unsigned int __attribute__((vector_size(16))) e;

void foo()
{
        b + d; /* { dg-error "invalid operands to binary" } */
        d += e; /* { dg-error "use -flax-vector-conversions to permit
conversions between vectors with differing element types or numbers of
subparts.*cannot convert 'unsigned int __vector__' to 'int __vector__' in
assignment" } */
        d2 += d;
}

so, can you paste the full log of this FAIL?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2008-02-01 11:32 -------
> so, can you paste the full log of this FAIL?

Is this what you are asking for?

Executing on host: /opt/gcc/i686-darwin/gcc/testsuite/g++/../../g++
-B/opt/gcc/i686-darwin/gcc/testsuite/g++/../../
/opt/gcc/gcc-4.3-work/gcc/testsuite/g++.dg/conversion/simd3.C  -nostdinc++
-I/opt/gcc/i686-darwin/i686-apple-darwin9/libstdc++-v3/include/i686-apple-darwin9
-I/opt/gcc/i686-darwin/i686-apple-darwin9/libstdc++-v3/include
-I/opt/gcc/gcc-4.3-work/libstdc++-v3/libsupc++
-I/opt/gcc/gcc-4.3-work/libstdc++-v3/include/backward
-I/opt/gcc/gcc-4.3-work/libstdc++-v3/testsuite/util -fmessage-length=0   -ansi
-pedantic-errors -Wno-long-long  -fno-show-column -S  -o simd3.s    (timeout =
300)
/opt/gcc/gcc-4.3-work/gcc/testsuite/g++.dg/conversion/simd3.C: In function
'void foo()':^M
/opt/gcc/gcc-4.3-work/gcc/testsuite/g++.dg/conversion/simd3.C:12: error:
invalid operands to binary + (have 'float __vector__' and 'int __vector__')^M
compiler exited with status 1
output is:
/opt/gcc/gcc-4.3-work/gcc/testsuite/g++.dg/conversion/simd3.C: In function
'void foo()':^M
/opt/gcc/gcc-4.3-work/gcc/testsuite/g++.dg/conversion/simd3.C:12: error:
invalid operands to binary + (have 'float __vector__' and 'int __vector__')^M

PASS: g++.dg/conversion/simd3.C  (test for errors, line 12)
FAIL: g++.dg/conversion/simd3.C  (test for errors, line 13)
PASS: g++.dg/conversion/simd3.C (test for excess errors)


-- 


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-02-01 11:33 -------
I saw this also on i686-linux-gnu.  The issue is we are not getting an error on
the second statement when we should be.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |accepts-invalid
   Last reconfirmed|0000-00-00 00:00:00         |2008-02-01 11:33:25
               date|                            |


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2008-02-01 18:10 -------
*** Bug 35052 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hjl dot tools at gmail dot
                   |                            |com


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[hjl dot tools at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1615 bytes --]



------- Comment #5 from hjl dot tools at gmail dot com  2008-02-01 18:40 -------
The test works on Linux/Intel64 with -m32:

[hjl@gnu-27 g++]$
/export/build/gnu/gcc/build-x86_64-linux/gcc/testsuite/g++/../../g++
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/testsuite/g++/../../
/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/g++.dg/conversion/simd3.C 
-nostdinc++
-I/export/build/gnu/gcc/build-x86_64-linux/x86_64-unknown-linux-gnu/32/libstdc++-v3/include/x86_64-unknown-linux-gnu
-I/export/build/gnu/gcc/build-x86_64-linux/x86_64-unknown-linux-gnu/32/libstdc++-v3/include
-I/net/gnu-13/export/gnu/src/gcc/gcc/libstdc++-v3/libsupc++
-I/net/gnu-13/export/gnu/src/gcc/gcc/libstdc++-v3/include/backward
-I/net/gnu-13/export/gnu/src/gcc/gcc/libstdc++-v3/testsuite/util
-fmessage-length=0   -ansi -pedantic-errors -Wno-long-long  -fno-show-column -S
 -m32 -o simd3.s
/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/g++.dg/conversion/simd3.C: In
function âvoid foo()â:
/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/g++.dg/conversion/simd3.C:12:
error: invalid operands to binary + (have âfloat __vector__â and âint
__vector__â)
/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/g++.dg/conversion/simd3.C:13:
note: use -flax-vector-conversions to permit conversions between vectors with
differing element types or numbers of subparts
/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/g++.dg/conversion/simd3.C:13:
error: cannot convert âunsigned int __vector__â to âint __vector__â in
assignment
[hjl@gnu-27 g++]$

It may be a 32bit host issue.


-- 


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[hjl dot tools at gmail dot com]

------- Comment #6 from hjl dot tools at gmail dot com  2008-02-01 18:48 -------
Revision 131984 seems the cause:

http://gcc.gnu.org/ml/gcc-cvs/2008-01/msg00747.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at redhat dot com,
                   |                            |dgregor at gcc dot gnu dot
                   |                            |org


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dgregor at gcc dot gnu dot org]

------- Comment #7 from dgregor at gcc dot gnu dot org  2008-02-05 14:35 -------
This is a canonical types issue; I'm on it.


-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dgregor at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-02-01 11:33:25         |2008-02-05 14:35:12
               date|                            |


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dgregor at gcc dot gnu dot org]

------- Comment #8 from dgregor at gcc dot gnu dot org  2008-02-05 18:06 -------
Well, this was a fun one. Patch here:
http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00146.html


-- 


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dgregor at gcc dot gnu dot org]

------- Comment #9 from dgregor at gcc dot gnu dot org  2008-02-06 15:18 -------
*** Bug 35096 has been marked as a duplicate of this bug. ***


-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2008-02-06 18:04 -------
This also ICEs on valid code.  


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dgregor at gcc dot gnu dot org]

------- Comment #11 from dgregor at gcc dot gnu dot org  2008-02-06 18:49 -------
Subject: Bug 35049

Author: dgregor
Date: Wed Feb  6 18:49:03 2008
New Revision: 132152

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132152
Log:
2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35049
        PR c++/35096
        * typeck.c (structural_comptypes): Call cp_comptypes.
        (comptypes): New; called from the C/C++ common bits to perform
        strict checks.
        (cp_comptypes): Renamed from comptypes, which is already used,
        with a different signature, by the C++ front end.
        (build_reinterpret_cast_1): Call cp_comptypes.
        (ptr_reasonably_similar): Ditto.
        * decl.c (decls_match): Ditto.
        * cvt.c (convert_to_reference): Ditto.
        * cp-tree.h (same_type_p): Ditto.
        (same_or_base_type_p): Ditto.
        (comptypes): Rename to cp_comptypes.
        * pt.c (canonical_type_parameter): Call cp_comptypes.

2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35049
        PR c++/35096
        * g++.dg/ext/vector13.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/ext/vector13.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/typeck.c


-- 


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[dgregor at gcc dot gnu dot org]

------- Comment #12 from dgregor at gcc dot gnu dot org  2008-02-06 18:50 -------
Fixed in mainline


-- 

dgregor at gcc dot gnu dot org changed:

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


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[bonzini at gnu dot org]

------- Comment #13 from bonzini at gnu dot org  2008-02-07 10:09 -------
when was this approved?  I think I have a better patch.


-- 


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[bonzini at gnu dot org]

------- Comment #14 from bonzini at gnu dot org  2008-02-07 13:11 -------
posted at http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00212.html


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|http://gcc.gnu.org/ml/gcc-  |http://gcc.gnu.org/ml/gcc-
                   |patches/2008-               |patches/2008-
                   |02/msg00146.html            |02/msg00212.html


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

[Bug c++/35049] [4.3 Regression] g++.dg/conversion/simd3.C:12: error: invalid operands to binary + (have 'float __vector__' and 'int __vector__')

[bonzini at gcc dot gnu dot org]

------- Comment #15 from bonzini at gnu dot org  2008-03-07 11:48 -------
Subject: Bug 35049

Author: bonzini
Date: Fri Mar  7 11:47:20 2008
New Revision: 133007

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133007
Log:
cp:
2008-03-07  Paolo Bonzini  <bonzini@gnu.org>

        Revert:

        2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35049
        PR c++/35096
        * typeck.c (structural_comptypes): Call cp_comptypes.
        (comptypes): New; called from the C/C++ common bits to perform
        strict checks.
        (cp_comptypes): Renamed from comptypes, which is already used,
        with a different signature, by the C++ front end.
        (build_reinterpret_cast_1): Call cp_comptypes.
        (ptr_reasonably_similar): Ditto.
        * decl.c (decls_match): Ditto.
        * cvt.c (convert_to_reference): Ditto.
        * cp-tree.h (same_type_p): Ditto.
        (same_or_base_type_p): Ditto.
        (comptypes): Rename to cp_comptypes.
        * pt.c (canonical_type_parameter): Call cp_comptypes.

objcp:
2008-03-07  Paolo Bonzini  <bonzini@gnu.org>

        Revert:

        2008-02-07  Andreas Tobler  <andreast-list@fgznet.ch>
                    Douglas Gregor  <doug.gregor@gmail.com>

        PR bootstrap/35115
        * objcp-decl.c (objcp_comptypes): Call cp_comptypes, not comptypes.


Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/objcp/ChangeLog
    trunk/gcc/objcp/objcp-decl.c


-- 


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