- Add __field_bcount_full
- Add a stub definition for __deref_out_range

svn path=/trunk/; revision=67666
This commit is contained in:
Thomas Faber 2015-05-11 16:15:18 +00:00
parent 1e20486956
commit 442e80cb84
2 changed files with 2 additions and 0 deletions

View file

@ -217,6 +217,7 @@
#define __deref_out_ecount(size) __deref_ecount(size) __post __deref __valid __refparam
#define __deref_out_nz __deref_out
#define __deref_out_nz_opt __deref_out_opt
#define __deref_out_range(x,y) /* FIXME */
#define __deref_out_opt __deref_out __post __deref __exceptthat __maybenull
#define __deref_out_z __post __deref __valid __refparam __post __deref __nullterminated
#define __deref_out_z_opt __post __deref __valid __refparam __execeptthat __maybenull __post __deref __nullterminated

View file

@ -27,6 +27,7 @@
#include <driverspecs.h>
#define __field_bcount(size) __notnull __byte_writableTo(size)
#define __field_bcount_full(size) __notnull __byte_writableTo(size) __byte_readableTo(size)
#define __field_ecount(size) __notnull __elem_writableTo(size)
#define __post_invalid _Post_ __notvalid