[cfe-commits] [Review Request]Polymorphic Pointers Checker

Argyrios Kyrtzidis kyrtzidis at apple.com
Fri May 20 16:11:33 PDT 2011

Why is this an analyzer checker and not a compiler warning ? Same question applies to "C++ C Style Cast Checker".

On May 20, 2011, at 3:43 PM, Jim Goodnow II wrote:

> This checks for the implicit casting of an array of a derived type to a base pointer. This is problematic because if the base pointer is incremented or indexed, a size difference between the base and derived classes could result in a bad pointer calculation. I could check for the sizes of the two classes to see if they happen to be the same, but it's really just a bad practice, since the size could change on a later revision.
>  - jim
> <polymorphicpointer.cpp><PolymorphicPointer.patch><PolymorphicPointerChecker.cpp>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

More information about the cfe-commits mailing list