[Bug c++/34914] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[Bug c++/34914] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[reichelt at gcc dot gnu dot org]

A broken diagnostic is issued for the following testcase since GCC 4.0.0:

============================================
struct A {};

void foo()
{
  int A::* p __attribute((vector_size(8)));
  p == 0;
}
============================================

bug.cc: In function 'void foo()':
bug.cc:6: error: invalid operands of types '#'offset_type' not supported by
pp_c_type_specifier#__vector__' and 'int' to binary 'operator=='


-- 
           Summary: [4.1/4.2/4.3 regression] Broken diagnostic:
                    'offset_type' not supported by pp_c_type_specifier
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: diagnostic, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/34914] [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.3


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

[Bug c++/34914] [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2008-01-22 10:23 -------
vector of OFFSET_TYPE elements should be disallowed IMNSHO.
Testing a patch for that.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-22 10:23:12
               date|                            |


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

[Bug c++/34914] [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-01-22 11:38 -------
Actually I think vector should apply to int here rather than to the pointer to
member type.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug c++/34914] [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-01-22 11:40 -------
(In reply to comment #2)
> Actually I think vector should apply to int here rather than to the pointer to
> member type.

That is the following should be accepted and should be the correct type:
struct A {};

void foo()
{
__attribute((vector_size(8)))   int A::* p ;
  p == 0;
}


-- 


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

[Bug c++/34914] [4.1/4.2/4.3 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-01-22 17:03 -------
Subject: Bug 34914

Author: jakub
Date: Tue Jan 22 17:03:12 2008
New Revision: 131729

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131729
Log:
        PR c++/34914
        * c-common.c (handle_vector_size_attribute): Only allow
        integral, scalar float and fixed point types.  Handle OFFSET_TYPE
        the same way as pointer, array etc. types.
        * tree.c (reconstruct_complex_type): Handle OFFSET_TYPE.

        * g++.dg/ext/vector10.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ext/vector10.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-common.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c


-- 


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

[Bug c++/34914] [4.1/4.2 regression] Broken diagnostic: 'offset_type' not supported by pp_c_type_specifier

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2008-01-22 17:09 -------
Fixed on the trunk.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2/4.3 regression]    |[4.1/4.2 regression] Broken
                   |Broken diagnostic:          |diagnostic: 'offset_type'
                   |'offset_type' not supported |not supported by
                   |by pp_c_type_specifier      |pp_c_type_specifier


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

[Bug c++/34914] [4.2 regression] Member pointer to vector rejected

[jsm28 at gcc dot gnu dot org]

------- Comment #6 from jsm28 at gcc dot gnu dot org  2008-07-04 22:29 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] Member |[4.2 regression] Member
                   |pointer to vector rejected  |pointer to vector rejected
   Target Milestone|4.1.3                       |4.2.5


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

[Bug c++/34914] [4.2 regression] Member pointer to vector rejected

[jsm28 at gcc dot gnu dot org]

------- Comment #7 from jsm28 at gcc dot gnu dot org  2009-03-31 15:00 -------
Closing 4.2 branch, fixed in 4.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|                            |4.2.5
      Known to work|                            |4.3.0
         Resolution|                            |FIXED
   Target Milestone|4.2.5                       |4.3.0


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