diff options
author | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
---|---|---|
committer | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
commit | 05cb73a7ee762065339393057d421613866e0418 (patch) | |
tree | 533b7192c83e882aab90c337d4356735932de7f0 /rpmio | |
parent | ba41c1ccb13a7a27466470e501a0d4f30fddec40 (diff) | |
download | rpm-05cb73a7ee762065339393057d421613866e0418.tar.gz rpm-05cb73a7ee762065339393057d421613866e0418.tar.bz2 rpm-05cb73a7ee762065339393057d421613866e0418.zip |
Factor bounds checking annotations into source code.
CVS patchset: 5521
CVS date: 2002/06/22 18:51:56
Diffstat (limited to 'rpmio')
-rw-r--r-- | rpmio/.cvsignore | 1 | ||||
-rw-r--r-- | rpmio/Makefile.am | 21 | ||||
-rw-r--r-- | rpmio/rpmio_internal.h | 2 | ||||
-rw-r--r-- | rpmio/rpmpgp.h | 2 |
4 files changed, 18 insertions, 8 deletions
diff --git a/rpmio/.cvsignore b/rpmio/.cvsignore index 3ee447e40..80c7e73cc 100644 --- a/rpmio/.cvsignore +++ b/rpmio/.cvsignore @@ -5,6 +5,7 @@ Makefile Makefile.in .libs *.la +*.lcd *.lo tdigest tdir diff --git a/rpmio/Makefile.am b/rpmio/Makefile.am index 68bac6c10..ee348777b 100644 --- a/rpmio/Makefile.am +++ b/rpmio/Makefile.am @@ -45,6 +45,19 @@ $(top_builddir)/beecrypt/listobjs: clean-local: rm -f $(BEECRYPTLOBJS) *.o .created +BUILT_SOURCES = rpmio.lcd + +rpmio.lcd: Makefile.am ${librpmio_la_SOURCES} ${pkginc_HEADERS} ${noinst_HEADERS} + -lclint -load ../beecrypt/beecrypt.lcd $(DEFS) $(INCLUDES) $(librpmio_la_SOURCES) -dump $@ 2>/dev/null + +.PHONY: sources +sources: + @echo $(librpmio_la_SOURCES:%=rpmio/%) + +.PHONY: lclint +lclint: + lclint $(DEFS) $(INCLUDES) $(librpmio_la_SOURCES) + tdigest_SOURCES = tdigest.c tdigest_LDADD = librpmio.la $(top_builddir)/popt/libpopt.la @@ -77,14 +90,6 @@ trpmio_LDADD = librpmio.la $(top_builddir)/popt/libpopt.la dumpasn1_SOURCES = dumpasn1.c -.PHONY: sources -sources: - @echo $(librpmio_la_SOURCES:%=rpmio/%) - -.PHONY: lclint -lclint: - lclint $(DEFS) $(INCLUDES) $(librpmio_la_SOURCES) - tficl.o: tficl.c $(COMPILE) -I/usr/include/ficl -o $@ -c tficl.c diff --git a/rpmio/rpmio_internal.h b/rpmio/rpmio_internal.h index dbd34be17..9bb9b7362 100644 --- a/rpmio/rpmio_internal.h +++ b/rpmio/rpmio_internal.h @@ -1,5 +1,6 @@ #ifndef H_RPMIO_INTERNAL #define H_RPMIO_INTERNAL +/*@-bounds@*/ /** \ingroup rpmio * \file rpmio/rpmio_internal.h @@ -550,4 +551,5 @@ int rpmioSlurp(const char * fn, } #endif +/*@=bounds@*/ #endif /* H_RPMIO_INTERNAL */ diff --git a/rpmio/rpmpgp.h b/rpmio/rpmpgp.h index ec4004ae6..e330a3d4b 100644 --- a/rpmio/rpmpgp.h +++ b/rpmio/rpmpgp.h @@ -1,5 +1,6 @@ #ifndef H_RPMPGP #define H_RPMPGP +/*@-bounds@*/ /** \ingroup rpmio * \file rpmio/rpmpgp.h @@ -1290,4 +1291,5 @@ uint32 pgpCRC(const byte *octets, size_t len) #endif /*@=fcnuse@*/ +/*@=bounds@*/ #endif /* H_RPMPGP */ |