[Bug c++/57198] New: ICE in warn_logical_operator for vectors

[Bug c++/57198] New: ICE in warn_logical_operator for vectors

[glisse at gcc dot gnu.org]

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

             Bug #: 57198
           Summary: ICE in warn_logical_operator for vectors
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: glisse@gcc.gnu.org


g++ crashes on the following program:

typedef int vec __attribute__((vector_size(4*sizeof(int))));
void f(vec* a, vec* b, vec* c){
  *c = (*a < *b) && (*b < *a);
}

http://gcc.gnu.org/ml/gcc-patches/2013-04/msg00783.html
includes a fix, but it is probably not the right place for that check if we
keep this code invalid.

[Bug c++/57198] ICE in warn_logical_operator for vectors

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57198

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
Author: glisse
Date: Fri Oct  3 19:57:01 2014
New Revision: 215872

URL: https://gcc.gnu.org/viewcvs?rev=215872&root=gcc&view=rev
Log:
2014-10-03  Marc Glisse  <marc.glisse@inria.fr>

    PR c++/54427
    PR c++/57198
    PR c++/58845
gcc/c-family/
    * c-common.c (warn_logical_operator): Punt for vectors.
gcc/cp/
    * typeck.c (cp_build_binary_op): save_expr after convert to save
    redundant operations.
    [TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR]: Handle vectors.
    (cp_build_unary_op) [TRUTH_NOT_EXPR]: Likewise.
gcc/
    * doc/extend.texi (Vector Extensions): Document &&, ||, ! in C++.
gcc/testsuite/
    * g++.dg/ext/vector9.C: Update, not an error anymore.
    * g++.dg/ext/vector27.C: Replace with new test.
    * g++.dg/ext/vector28.C: New file.
    * g++.dg/other/error23.C: Update to a different error.


Added:
    trunk/gcc/testsuite/g++.dg/ext/vector28.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/doc/extend.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/ext/vector27.C
    trunk/gcc/testsuite/g++.dg/ext/vector9.C
    trunk/gcc/testsuite/g++.dg/other/error23.C

[Bug c++/57198] ICE in warn_logical_operator for vectors

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57198

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |5.0

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> ---
Fixed on trunk. The ICE still exists on the 4.9 branch, but it doesn't seem
very important (most codes will hit a "sorry" explaining that vectors are not
supported long before hitting this very special case).