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
> [email protected]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to