Annotate incondefs in source code.

2 files changed, 3 insertions, 3 deletions

diff --git a/.lclintrc b/.lclintrc
index 488dbf5..6a70b04 100644
--- a/.lclintrc
+++ b/.lclintrc
@@ -26,12 +26,12 @@
 -exportfcn		# 25
 -globs			# 12 <ctype.h>
 -ifblock		# 202
--incondefs		# 37 <bits/{ipc,pthreadtypes}.h> heartburn
 -namechecks		# 206
 -ptrarith		# 43
 
 -mustdefine		# 10
 -shiftimplementation	# 120
+-sys-dir-errors
 
 -strictops		# 16
 -whileblock		# 10
diff --git a/popt.h b/popt.h
index 60d27e6..c756061 100644
--- a/popt.h
+++ b/popt.h
@@ -151,7 +151,7 @@ typedef struct poptItem_s {
  * Empty table marker to enable displaying popt alias/exec options.
  */
 /*@-exportvar@*/
-/*@observer@*/ /*@checked@*/
+/*@unchecked@*/ /*@observer@*/
 extern struct poptOption poptAliasOptions[];
 /*@=exportvar@*/
 #define POPT_AUTOALIAS { NULL, '\0', POPT_ARG_INCLUDE_TABLE, poptAliasOptions, \
@@ -161,7 +161,7 @@ extern struct poptOption poptAliasOptions[];
  * Auto help table options.
  */
 /*@-exportvar@*/
-/*@observer@*/ /*@checked@*/
+/*@unchecked@*/ /*@observer@*/
 extern struct poptOption poptHelpOptions[];
 /*@=exportvar@*/
 #define POPT_AUTOHELP { NULL, '\0', POPT_ARG_INCLUDE_TABLE, poptHelpOptions, \