On Thu, Aug 16, 2012 at 9:53 PM, Douglas Gregor <[email protected]> wrote:
> 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?
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 <[email protected]>*/
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
