[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|0000-00-00 00:00:00         |2003-07-11 21:14:25
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-11 21:14 -------
Well now on the mainline (20030711), it does say what the template is instantiated as 
because it errors on declaration of the template but you can reproduce this bug with the 
following code:
template <class T> struct test_type { static void dump() {typename T::t a;} };

int i;
int main() {
  int& int_ref = i;
  test_type<typeof(int_ref)>::dump();
}

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |12605
              nThis|                            |

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |12604
              nThis|                            |

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-12 06:44 -------
Here is a better example (this should link):
template <class T> struct test_type { static void dump(); };
template <> void  test_type<int&>::dump(){}
int i;
typedef int &t;
int main() {
  int& int_ref = i;
  test_type<t>::dump();
  test_type<typeof(int_ref)>::dump();
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
   Last reconfirmed|2003-07-11 21:14:25         |2004-01-12 06:44:16
               date|                            |


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

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-28 00:42 -------
I think the problem is that it is already dereferencing the reference.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2004-01-12 06:44:16         |2004-04-28 00:42:07
               date|                            |


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

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
   Last reconfirmed|2004-04-28 00:42:07         |2004-07-28 15:06:21
               date|                            |


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

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[giovannibajo at libero dot it]

------- Comment #7 from giovannibajo at libero dot it  2005-12-24 21:53 -------
This is by design. It's out typeof() implementation works. It has pros and
cons. See this link (and followups) for papers about this.

http://gcc.gnu.org/ml/gcc/2005-01/msg01642.html


-- 

giovannibajo at libero dot it changed:

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


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

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2005-12-24 16:15 -------
An ever better example comes from PR 25555:
#include <iostream>

using std::cerr;
using std::endl;

template <typename X>
struct test
{
  static int const r = 0;
};

template <typename X>
struct test<X&>
{
  static int const r = 1;
};

template <typename X>
struct test<X*>
{
  static int const r = 2;
};

int
main ()
{
  int i;
  int& ri = i;
  cerr << test<typeof (ri)>::r << endl;
}

This should print 1 but instead prints 0.


-- 


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

[Bug c++/10243] typeof(expr) yields wrong result if expr has reference type

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2005-12-24 16:13 -------
*** Bug 25555 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |boris at kolpackov dot net


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