Changes in src/SymTab/Validate.cc [2a6292d:d5916ce]

File:

• src/SymTab/Validate.cc (modified) (1 diff)

src/SymTab/Validate.cc

@@ -1333 +1333 @@
         void FindSpecialDeclarations::previsit( FunctionDecl * funcDecl ) {
                 if ( ! dereferenceOperator ) {
-                        if ( funcDecl->get_name() == "*?" && funcDecl->get_linkage() == LinkageSpec::Intrinsic ) {
-                                FunctionType * ftype = funcDecl->get_functionType();
-                                if ( ftype->get_parameters().size() == 1 && ftype->get_parameters().front()->get_type()->get_qualifiers() == Type::Qualifiers() ) {
-                                        dereferenceOperator = funcDecl;
+                        // find and remember the intrinsic dereference operator for object pointers
+                        if ( funcDecl->name == "*?" && funcDecl->linkage == LinkageSpec::Intrinsic ) {
+                                FunctionType * ftype = funcDecl->type;
+                                if ( ftype->parameters.size() == 1 ) {
+                                        PointerType * ptrType = strict_dynamic_cast<PointerType *>( ftype->parameters.front()->get_type() );
+                                        if ( ptrType->base->get_qualifiers() == Type::Qualifiers() ) {
+                                                TypeInstType * inst = dynamic_cast<TypeInstType *>( ptrType->base );
+                                                if ( inst && ! inst->get_isFtype() ) {
+                                                        dereferenceOperator = funcDecl;
+                                                }
+                                        }
                                 }
                         }