diff options
Diffstat (limited to 'zlib/inffast.c')
| -rw-r--r-- | zlib/inffast.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/zlib/inffast.c b/zlib/inffast.c index d1db74c44..990a08199 100644 --- a/zlib/inffast.c +++ b/zlib/inffast.c @@ -8,6 +8,8 @@ #include "inflate.h" #include "inffast.h" +/*@access z_streamp @*/ + /* Allow machine dependent optimization for post-increment or pre-increment. Based on testing to date, Pre-increment preferred for: |