- jbj: study the mess with splint, remove annotations where possible.

- jbj: add -D_GNU_SOURCE for gcc to use __builtin_stpcpy when available.
- jbj: add static inline stpcpy for the deprived.
- jbj: use stpcpy to eliminate sprintf calls everywhere but popthelp.c
- jbj: remove (now unneeded afaik) va_copy() from POPT_fprintf().
- jbj: inline strdup_fprintf() => POPT_fprintf keeping (unneeded?) va_copy.

1 files changed, 2 insertions, 1 deletions

diff --git a/poptint.h b/poptint.h
index d8e829c..9c2b73b 100644
--- a/poptint.h
+++ b/poptint.h
@@ -120,10 +120,11 @@ struct poptContext_s {
     poptArgv finalArgv;
     int finalArgvCount;
     int finalArgvAlloced;
+/*@null@*/
     int (*maincall) (int argc, const char **argv);
 /*@dependent@*/ /*@null@*/
     poptItem doExec;
-/*@only@*/
+/*@only@*/ /*@null@*/
     const char * execPath;
     int execAbsolute;
 /*@only@*/ /*@relnull@*/