On Aug 16, 2012, at 5:08 PM, Dmitri Gribenko <[email protected]> wrote:
> Author: gribozavr > Date: Thu Aug 16 19:08:38 2012 > New Revision: 162067 > > URL: http://llvm.org/viewvc/llvm-project?rev=162067&view=rev > Log: > Add support for "type safety" attributes that allow checking that 'void *' > function arguments and arguments for variadic functions are of a particular > type which is determined by some other argument to the same function call. > > Usecases include: > * MPI library implementations, where these attributes enable checking that > buffer type matches the passed MPI_Datatype; > * for HDF5 library there is a similar usecase as MPI; > * checking types of variadic functions' arguments for functions like > fcntl() and ioctl(). Can you also update the release notes? - Doug _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
