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

[Dmitri Gribenko]

On Thu, Aug 16, 2012 at 9:53 PM, Douglas Gregor <dgregor at apple.com> wrote:
> 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?

Done in r162102.

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/