[cedet-semantic] Possible bug with semantic completion?

[<jo...@ro...>]

I have encountered what seems to be a bug with semantic when a pointer  
variable is assigned a downcasted value, for example

SomeClass* A = (SomeClass*)&object;
A->No completion here

Below is a valid program which should reproduce the problem:

class Foo
public:
     virtual void someFunc() = 0;
};

class Bar : public Foo
{
public:
     void someFunc() {}

};

int main()
{
     Bar bar;

     //Completion for someFunc works here
     Foo* bar2 = 0;
     bar2->someFunc();

     //Cast the bar object to its super-class
     bar2 = (Foo*)&bar;
     //Works here too
     bar2->someFunc();

     //But if a new pointer is declared and assigned a
     Foo* bar3 = (Foo*)&bar;
     //Here completion does not find any matches
     //bar3-> should complete to 'someFunc'

     return 0;
}

PS. Awesome work with semantic so far! I have been waiting to get C++  
completion for emacs for years!


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.