Re: [cdt-dev] purpose of "IASTNode point" arguments?

["Schorn, Markus" <Markus.Schorn@xxxxxxxxxxxxx>]

Hi Nate,
Dependent names need to be resolved at the point of instantiation, that is what the IASTNode argument refers to.
In your example 'x' is not a dependent name and it needs to be resolved within the class template.
==> There is a bug in creating the evaluation object for the id-expression 'x'.
Markus. 

-----Original Message-----
From: cdt-dev-bounces@xxxxxxxxxxx [mailto:cdt-dev-bounces@xxxxxxxxxxx] On Behalf Of Nathan Ridge
Sent: Mon, 04. 02. 2013 03:47
To: CDT Mailing List
Subject: [cdt-dev] purpose of "IASTNode point" arguments?


Hi,

A number of functions in the C++ semantics code have an argument "IASTNode point"
which seems to be passed around everywhere. Some examples are:

CPPTemplates.instantiateXXX
ICPPEvaluation.instantiate
ICPPEvaluation.getTypeOrFunctionSet
ICPPEvaluation.getValue
CPPTemplates.findOverloadedXXX
ClassTypeHelper.getXXX
TypeTraits.isXXX

I am wondering, what is the purpose of these "IASTNode point" arguments?

This question came up for me in investigating the behaviour of the following code (from bug 399829):


struct S
{
    void kind();
};
struct T {};

namespace N
{
    S operator++(T);

    template <class T>
    struct impl
    {
        static T x;
        typedef decltype(++x) type;
    };
}

void test()
{
    N::impl<T>::type operand;
    operand.kind();  // ERROR HERE: Method 'kind' could not be resolved }


The problem here arises because the name lookup for the operator++ in the decltype is performed in the context of the block scope of the 'test'
function, because the scope for the name lookup is obtained by calling
CPPVisitor.getContainingScope() on this "point" argument, which gets here all the way from the site of the original name lookup (for N::impl<T>::type) that gave rise to instantiating "impl" and resolving the operator++.

Clearly, something went wrong here, but I can't pinpoint what until I understand what the purpose of this "point" argument is.

Thanks,
Nate
 		 	   		  
_______________________________________________
cdt-dev mailing list
cdt-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/cdt-dev