[Bug c++/11812] New: gcc 3.3.1 prerelease doesn't honour -fabi-version

[Bug c++/11812] New: gcc 3.3.1 prerelease doesn't honour -fabi-version

[jhr dot walter at t-online dot de]

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

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

           Summary: gcc 3.3.1 prerelease doesn't honour -fabi-version
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jhr dot walter at t-online dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

Hello,

compiling the test case of PR C++/8006 (thanks to Peter Schmid!)

----------
template<class I1, class I2>
struct iterator_restrict_traits {
  typedef I1 iterator_category;
};

template<class T>
struct scalar_expression {
  typedef T value_type;
};

template<class E, class F>
class vector_scalar_unary:
  public scalar_expression<typename F::result_type> {
public:
  typedef typename F::result_type value_type;
  typedef typename E::const_iterator::iterator_category iterator_category;

  operator value_type () const {
    return evaluate (iterator_category ());
  }
};

template<class E1, class E2, class F>
class vector_scalar_binary:
  public scalar_expression<typename F::result_type> {
public:
  typedef typename F::result_type value_type;
  typedef typename iterator_restrict_traits<typename 
E1::const_iterator::iterator_category,
                                            typename 
E2::const_iterator::iterator_category>::iterator_category iterator_category;

  operator value_type () const {
    return evaluate (iterator_category ());
  }
};

----------

with gcc 3.3 results in

----------
Reading specs from /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/specs
Configured with: ./configure --prefix=/usr/local/gcc-3.3
Thread model: posix
gcc version 3.3
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/cc1plus -quiet -v -
D__GNUC__=3 -D__GNUC_MINOR__=3 -D__GNUC_PATCHLEVEL__=0 -D_GNU_SOURCE bug.cpp -
D__GNUG__=3 -quiet -dumpbase bug.cpp -auxbase bug -version -o /tmp/cc6YguMS.s
GNU C++ version 3.3 (i686-pc-linux-gnu)
	compiled by GNU C version 3.3.
GGC heuristics: --param ggc-min-expand=47 --param ggc-min-heapsize=31945
ignoring nonexistent directory "/usr/local/gcc-3.3/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/gcc-3.3/include/c++/3.3
 /usr/local/gcc-3.3/include/c++/3.3/i686-pc-linux-gnu
 /usr/local/gcc-3.3/include/c++/3.3/backward
 /usr/local/include
 /usr/local/gcc-3.3/include
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/include
 /usr/include
End of search list.
bug.cpp:31: error: due to a defect in the G++ 3.2 ABI, G++ has assigned the 
   same mangled name to two different types
----------

whereas gcc 3.3.1 prerelease gives

----------
Reading specs from /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3.1/specs
Configured with: ./configure 
Thread model: posix
gcc version 3.3.1 20030720 (prerelease)
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3.1/cc1plus -quiet -v -D__GNUC__=3 -
D__GNUC_MINOR__=3 -D__GNUC_PATCHLEVEL__=1 -D_GNU_SOURCE bug.cpp -D__GNUG__=3 -
quiet -dumpbase bug.cpp -auxbase bug -version -o /tmp/ccnO6t4U.s
GNU C++ version 3.3.1 20030720 (prerelease) (i686-pc-linux-gnu)
	compiled by GNU C version 3.3.1 20030720 (prerelease).
GGC heuristics: --param ggc-min-expand=47 --param ggc-min-heapsize=31945
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory "/usr/local/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include/c++/3.3.1
 /usr/local/include/c++/3.3.1/i686-pc-linux-gnu
 /usr/local/include/c++/3.3.1/backward
 /usr/local/include
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3.1/include
 /usr/include
End of search list.
 as -V -Qy -o /tmp/ccBpPbGy.o /tmp/ccnO6t4U.s
GNU assembler version 2.11.90.0.29 (i486-suse-linux) using BFD version 
2.11.90.0.29
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3.1/collect2 -m elf_i386 -dynamic-
linker /lib/ld-linux.so.2 /usr/lib/crt1.o /usr/lib/crti.o /usr/local/lib/gcc-
lib/i686-pc-linux-gnu/3.3.1/crtbegin.o -L/usr/local/lib/gcc-lib/i686-pc-linux-
gnu/3.3.1 -L/usr/local/lib/gcc-lib/i686-pc-linux-
gnu/3.3.1/../../.. /tmp/ccBpPbGy.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -
lgcc /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3.1/crtend.o /usr/lib/crtn.o
/usr/lib/crt1.o: In function `_start':
/usr/lib/crt1.o(.text+0x18): undefined reference to `main'
collect2: ld returned 1 exit status
----------

Is this the regression of a regression or did the definition of ABI 
compatibility change from 3.3 to 3.3.1?

BTW, compiling with -fabi-version=n for n = 0, 1, 2 doesn't change the picture 
for 3.3.1.

[Bug c++/11812] [ABI] gcc does not reject code that was rejected because of ABI defect

[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=11812


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
            Summary|gcc 3.3.1 prerelease doesn't|[ABI] gcc does not reject
                   |honour -fabi-version        |code that was rejected
                   |                            |because of ABI defect
   Target Milestone|3.4                         |3.3.2
            Version|unknown                     |3.3.1


------- Additional Comments From pinskia at physics dot uc dot edu  2003-08-05 23:32 -------
I re-summarized to bring more attention to this one.

[Bug c++/11812] [ABI] gcc does not reject code that was rejected because of ABI defect

[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=11812


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mark at codesourcery dot com


------- Additional Comments From pinskia at physics dot uc dot edu  2003-08-07 00:46 -------
This is cause by:
2003-06-17  Mark Mitchell

        PR c++/10712
        * class.c (handle_using_decl): Robustify.

        PR c++/11105
        * cp-tree.h (DECL_CONV_FN_TYPE): New method.
        * mangle.c (struct globals): Remove internal_mangling_p.
        (write_unqualified_name): Use DECL_CONV_FN_TYPE.
        (write_template_parm): Don't write out the level number.
        (conv_type_names): New variable.
        (hash_type): New function.
        (compare_type): Likewise.
        (mangle_conv_op_name_for_type): Don't try to mangle conversion
        operator names.
        * search.c (lookup_conversion_operator): New function.
        (lookup_fnfields_1): Use it.

Was this inentionally also cause this test to compile without -fabi-version=0?

[Bug c++/11812] [ABI] gcc does not reject code that was rejected because of ABI defect

[bangerth at dealii 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=11812


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


------- Additional Comments From bangerth at dealii dot org  2003-08-07 16:30 -------
I reopened PR 11105 since the same problem happens there as well, and
sent a message to Mark.

W.

*** This bug has been marked as a duplicate of 11105 ***