Reporting a bug for the C++ compiler

Question

How do I report a bug to Oracle regarding the C++ compiler ? I am using Solaris Studio 12.3.

Answer 1

Here is an alternative implementation, as a file called has_xxx_test_ex.cpp, also supported by the mpl and tti code for introspecting a class/struct for a class template of a given name taking typename ( or class ) type parameters:
struct stype { template< typename T > struct xxx {}; };
typedef void boost_mpl_has_xxx_has_xxx_template_substitute0_tag ;
template < template < typename U0 > class U >
struct boost_mpl_has_xxx_has_xxx_template_substitute0
    typedef boost_mpl_has_xxx_has_xxx_template_substitute0_tag type ;
template < template < typename U0 , typename U1 > class U >
struct boost_mpl_has_xxx_has_xxx_template_substitute1
    typedef boost_mpl_has_xxx_has_xxx_template_substitute0_tag type ;
template < typename T >
class has_xxx_template
    template < typename U , typename V = boost_mpl_has_xxx_has_xxx_template_substitute0_tag >
    struct has_xxx_template_test
        static const bool value = false ;
    template < typename U >
    struct has_xxx_template_test <     U ,
                                    typename boost_mpl_has_xxx_has_xxx_template_substitute0
                                        < typename U :: xxx < > > :: type
                                 >
        static const bool value = true ;
    template < typename U >
    struct has_xxx_template_test <    U ,
                                    typename boost_mpl_has_xxx_has_xxx_template_substitute1
                                        < typename U :: xxx < > > :: type
                                 >
        static const bool value = true ;
    template < typename U >
    struct has_xxx_template_introspect : has_xxx_template_test < U > { } ;
    public :
        static const bool value = has_xxx_template_introspect < T > :: value ;
int main()
    has_xxx_template<stype> aclass;
    return 0;
When this is compiled with the C++ compiler of 12.3 with this command line:
CC +d -library=stlport4 -features=tmplife -features=tmplrefstatic -g -erroff=%none -KPIC -c -o "has_xxx_test_ex2.o" "has_xxx_test_ex2.cpp"
the result is:
"has_xxx_test_ex2.cpp", line 30: Warning (Anachronism): Using xxx as a template without a declaration.
"has_xxx_test_ex2.cpp", line 54:     Where: While specializing "has_xxx_template<stype>".
"has_xxx_test_ex2.cpp", line 54:     Where: Specialized in non-template code.
"has_xxx_test_ex2.cpp", line 30: Error: Template template-parameter U<U0> requires a class template argument.
"has_xxx_test_ex2.cpp", line 54:     Where: While specializing "has_xxx_template<stype>".
"has_xxx_test_ex2.cpp", line 54:     Where: Specialized in non-template code.
"has_xxx_test_ex2.cpp", line 39: Warning (Anachronism): Using xxx as a template without a declaration.
"has_xxx_test_ex2.cpp", line 54:     Where: While specializing "has_xxx_template<stype>".
"has_xxx_test_ex2.cpp", line 54:     Where: Specialized in non-template code.
"has_xxx_test_ex2.cpp", line 39: Error: Template template-parameter U<U0, U1> requires a class template argument.
"has_xxx_test_ex2.cpp", line 54:     Where: While specializing "has_xxx_template<stype>".
"has_xxx_test_ex2.cpp", line 54:     Where: Specialized in non-template code.
"has_xxx_test_ex2.cpp", line 36: Error: Multiple declaration for has_xxx_template<stype>::has_xxx_template_test.
"has_xxx_test_ex2.cpp", line 54:     Where: While specializing "has_xxx_template<stype>".
"has_xxx_test_ex2.cpp", line 54:     Where: Specialized in non-template code.
3 Error(s) and 2 Warning(s) detected.