[cfe-commits] r162067 - in /cfe/trunk: docs/ include/clang/Basic/ include/clang/Parse/ include/clang/Sema/ lib/Parse/ lib/Sema/ test/Sema/

[Douglas Gregor]

On Aug 16, 2012, at 5:08 PM, Dmitri Gribenko <gribozavr at gmail.com> 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