| ee3d9f0be3d2080abb1cf76d7d327a044791b22a |
|
02-Jan-2013 |
Dmitri Gribenko <gribozavr@gmail.com> |
Type safety attributes: add tests for enumerations (users are actually doing
this, ensure we don't regress)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@171412 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Sema/warn-type-safety-mpi-hdf5.c
|
| 5a24980d059cd9fbe8375a4c549313101ad20698 |
|
03-Nov-2012 |
Dmitri Gribenko <gribozavr@gmail.com> |
Handle CK_NullToPointer casts in -Wtype-safety properly. Fixes PR14249.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167358 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Sema/warn-type-safety-mpi-hdf5.c
|
| 0d5a069f66df09b3308ccfdce84a88170034c657 |
|
17-Aug-2012 |
Dmitri Gribenko <gribozavr@gmail.com> |
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().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162067 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/test/Sema/warn-type-safety-mpi-hdf5.c
|