On Thu, 26 Jun 2014, Joe Perches wrote:
> On Thu, 2014-06-26 at 22:58 +0530, Himangi Saraogi wrote: > > This patch removes the cast on data of type void* as it is not needed. > > Hi Himangi > > The cast of a const void * to a void * was odd. > > Maybe a mechanism to verify appropriateness of > loss of constness for any pointer might be useful. I tried the following, but didn't find anything interesting: @disable drop_cast@ type T; const T e; @@ * (T)e julia -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
