summaryrefslogtreecommitdiff
path: root/lib/verify.c
diff options
context:
space:
mode:
Diffstat (limited to 'lib/verify.c')
-rw-r--r--lib/verify.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/verify.c b/lib/verify.c
index 8810f9170..96c104b98 100644
--- a/lib/verify.c
+++ b/lib/verify.c
@@ -1,5 +1,6 @@
/** \ingroup rpmcli
* \file lib/verify.c
+ * Verify installed payload files from package metadata.
*/
#include "system.h"
@@ -12,6 +13,9 @@
#include "misc.h"
#include "debug.h"
+/*@ access TFI_t */
+/*@ access PSM_t */
+
static int _ie = 0x44332211;
static union _vendian { int i; char b[4]; } *_endian = (union _vendian *)&_ie;
#define IS_BIG_ENDIAN() (_endian->b[0] == '\x44')