Closed prabhu closed 10 months ago
Upstream bug: https://github.com/joernio/joern/issues/3740
class Animal { public: virtual void eat() { std::cout<<"eat nothing"; } }; class Cat:public Animal { public: void eat() { std::cout<<"eat fish"; } }; int main( ) { Cat c; Animal *a = &c; a->eat(); return 0; }
Upstream bug: https://github.com/joernio/joern/issues/3740