\r
CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c\r
\r
-CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \\r
+CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \\r
stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \\r
globalsClause.c modifiesClause.c warnClause.c functionClause.c \\r
functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \\r
metaStateExpression.c metaStateSpecifier.c functionConstraint.c \\r
- pointers.c\r
+ pointers.c cscannerHelp.c \r
\r
SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c\r
CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c\r
\r
-GLOBSRC = context.c globals.c flags.c general.c osd.c reader.c mtreader.c\r
+GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c\r
\r
GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c\r
\r
-OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \\r
+OVERFLOWCHSRC = constraintList.c constraintResolve.c \\r
+ constraintGeneration.c constraintTerm.c \\r
constraintExprData.c constraintExpr.c constraint.c \\r
- constraintList.c constraintResolve.c \\r
- constraintOutput.c loopHeuristics.c \r
+ loopHeuristics.c \r
\r
GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \\r
fileTable.c cstringTable.c valueTable.c stateValue.c \\r
\r
IFILES = ctbase.i cttable.i exprDataQuite.i\r
\r
-\r
#Files that are used on systems that do not have bison or yacc\r
DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \\r
llgrammar.c.der \r
DER_FILES = $(DER_BISON_FILES)\r
\r
\r
-COMMONSRC = $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \\r
- $(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)\r
+COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \\r
+ $(GLOBSRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)\r
+\r
+LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(COMMONSRC) $(LCLONLYSRC) \r
\r
-ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) \r
+ALLSRC = $(GRAMSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) snprintf.c\r
\r
#files to run Splint on\r
-LINTSRC = $(COMMONSRC) $(SPLINTSRC) cscanner.c cgrammar.c\r
+LINTSRC = $(COMMONSRC) $(SPLINTSRC)\r
\r
-LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) \r
lcl_SOURCES = $(LCLSRC)\r
CONFIG_HEADER = $(top_builddir)/config.h\r
\r
splint_SOURCES = $(ALLSRC)\r
-\r
-lcl_OBJECTS = lsymbolSet$O sigNodeSet$O \\r
- lslOpSet$O sortSet$O initDeclNodeList$O \\r
- sortList$O declaratorInvNodeList$O \\r
- interfaceNodeList$O sortSetList$O \\r
- declaratorNodeList$O letDeclNodeList$O \\r
- stDeclNodeList$O storeRefNodeList$O \\r
- lslOpList$O lsymbolList$O \\r
- termNodeList$O ltokenList$O \\r
- traitRefNodeList$O pairNodeList$O \\r
- typeNameNodeList$O fcnNodeList$O \\r
- paramNodeList$O programNodeList$O \\r
- varDeclarationNodeList$O varNodeList$O \\r
- quantifierNodeList$O replaceNodeList$O \\r
- importNodeList$O tokentable$O scan$O \\r
- scanline$O lslparse$O lh$O \\r
- checking$O lclctypes$O imports$O \\r
- lslinit$O syntable$O \\r
- usymtab_interface$O abstract$O ltoken$O \\r
- lclscanline$O lclsyntable$O \\r
- lcltokentable$O sort$O symtable$O \\r
- lclinit$O shift$O lclscan$O \\r
- lsymbol$O mapping$O\r
-\r
-splint_OBJECTS = cgrammar$O cscanner$O \\r
- mtscanner$O mtgrammar$O llgrammar$O \\r
- signature$O cppmain$O cpplib$O \\r
- cppexp$O cpphash$O cpperror$O \\r
- context$O uentry$O cprim$O \\r
- macrocache$O qual$O qtype$O \\r
- stateClause$O stateClauseList$O ctype$O \\r
- cvar$O clabstract$O idDecl$O \\r
- clause$O globalsClause$O \\r
- modifiesClause$O warnClause$O \\r
- functionClause$O functionClauseList$O \\r
- metaStateConstraint$O metaStateConstraintList$O \\r
- metaStateExpression$O metaStateSpecifier$O \\r
- functionConstraint$O pointers$O \\r
- structNames$O transferChecks$O \\r
- varKinds$O nameChecks$O exprData$O \\r
- cstring$O fileloc$O message$O \\r
- inputStream$O fileTable$O \\r
- cstringTable$O valueTable$O \\r
- stateValue$O llerror$O messageLog$O \\r
- flagMarker$O aliasTable$O ynm$O \\r
- sRefTable$O genericTable$O ekind$O \\r
- usymtab$O multiVal$O lltok$O \\r
- sRef$O lcllib$O randomNumbers$O \\r
- fileLib$O globals$O \\r
- flags$O general$O osd$O \\r
- reader$O mtreader$O clauseStack$O \\r
- filelocStack$O cstringList$O \\r
- cstringSList$O sRefSetList$O \\r
- ctypeList$O enumNameList$O \\r
- enumNameSList$O exprNodeList$O \\r
- exprNodeSList$O uentryList$O \\r
- fileIdList$O filelocList$O qualList$O \\r
- sRefList$O flagMarkerList$O \\r
- idDeclList$O flagSpec$O globSet$O \\r
- intSet$O typeIdSet$O guardSet$O \\r
- usymIdSet$O sRefSet$O stateInfo$O \\r
- stateCombinationTable$O metaStateTable$O \\r
- metaStateInfo$O annotationTable$O \\r
- annotationInfo$O mttok$O \\r
- mtDeclarationNode$O mtDeclarationPieces$O \\r
- mtDeclarationPiece$O mtContextNode$O \\r
- mtValuesNode$O mtDefaultsNode$O \\r
- mtAnnotationsNode$O mtMergeNode$O \\r
- mtAnnotationList$O mtAnnotationDecl$O \\r
- mtTransferClauseList$O mtTransferClause$O \\r
- mtTransferAction$O mtLoseReferenceList$O \\r
- mtLoseReference$O mtDefaultsDeclList$O \\r
- mtDefaultsDecl$O mtMergeItem$O \\r
- mtMergeClause$O mtMergeClauseList$O \\r
- exprNode$O exprChecks$O llmain$O \\r
- help$O rcfiles$O constraintGeneration$O \\r
- constraintTerm$O constraintExprData$O \\r
- constraintExpr$O constraint$O \\r
- constraintList$O constraintResolve$O \\r
- constraintOutput$O loopHeuristics$O snprintf$O\r
+splint_OBJECTS = $(splint_SOURCES:.c=$O)\r
\r
# Keep it fake\r
.PHONY: lcl$(EXEEXT)\r
\r
DEFS = -DHAVE_CONFIG_H\r
DEFAULT_INCLUDES = -I. -I..\r
-LDADD = $(lcl_OBJECTS) \r
\r
## Sources that need to be built\r
BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \\r
@echo "Expect 141 shift/reduce conflicts and 111 reduce/reduce conflicts."\r
@echo "(see cgrammar.y for explanation)"\r
$(BISON) $(YFLAGS) cgrammar.y\r
- $(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) \\r
- -e 's/YYSTYPE/cgrammar_YYSTYPE/g' -e 's/lsllex/cgrammar_lsllex/' \\r
- >cgrammar.c\r
+ $(CAT) bison.head cgrammar.tab.c bison.reset >cgrammar.c\r
$(CP) cgrammar.c cgrammar.c.der\r
-$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak\r
- $(CAT) bison.head cgrammar.tab.h bison.reset | $(SED) \\r
- -e 's/YYSTYPE/cgrammar_YYSTYPE/g' -e 's/lsllex/cgrammar_lsllex/g' \\r
- >Headers/cgrammar_tokens.h\r
+ $(CAT) bison.head cgrammar.tab.h bison.reset >Headers/cgrammar_tokens.h\r
$(RM) cgrammar.tab.c cgrammar.tab.h\r
endif\r
\r
\r
cscanner.c: cscanner.l\r
$(FLEX) $(LFLAGS) cscanner.l \r
- $(CAT) flex.head lexyy.c flex.reset | $(SED) \\r
- -e 's/YYSTYPE/cgrammar_YYSTYPE/g' -e 's/lsllex/cgrammar_lsllex/g' \\r
- >cscanner.c\r
+ $(CAT) flex.head lexyy.c flex.reset > cscanner.c\r
\r
Headers/flag_codes.gen: flags.def\r
grep "FLG_" flags.def > Headers/flag_codes.gen\r
+ $(MAKE)\r
+ cd ../lib; $(MAKE)\r
\r
$(binDir)/splint$(EXEEXT): splint$(EXEEXT)\r
-$(RM) -f $(binDir)/splint$(EXEEXT)\r
$(CP) splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
\r
-up: clean\r
- rm -f cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c\r
-\r
-\r
clean: \r
-rm -f $(splint_OBJECTS) core *.core *~ \r
-\r
+ -rm -f cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c\r
\r
CLEANFILES = splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
\r
+snprintf$O: snprintf.c\r
+ $(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) \\r
+ -DHAVE_STRING_H -DHAVE_STDLIB_H -DHAVE_CTYPE_H $(CPPFLAGS) -c $<\r
+\r
%$O: %.c\r
$(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) $(CPPFLAGS) -c $<\r
\r
-splint$(EXEEXT) : $(splint_OBJECTS) $(lcl_OBJECTS)\r
+splint$(EXEEXT) : $(splint_OBJECTS) \r
$(CC) $(OFLAG)$@ $^ $(LDFLAGS)\r
\r
list:\r
--- /dev/null
+#if defined (OS2) && defined (__IBMC__)\r
+/*\r
+ * Copyright Patrick Powell 1995\r
+ * This code is based on code written by Patrick Powell (papowell@astart.com)\r
+ * It may be used for any purpose as long as this notice remains intact\r
+ * on all source code distributions\r
+ */\r
+\r
+/**************************************************************\r
+ * Original:\r
+ * Patrick Powell Tue Apr 11 09:48:21 PDT 1995\r
+ * A bombproof version of doprnt (dopr) included.\r
+ * Sigh. This sort of thing is always nasty do deal with. Note that\r
+ * the version here does not include floating point...\r
+ *\r
+ * snprintf() is used instead of sprintf() as it does limit checks\r
+ * for string length. This covers a nasty loophole.\r
+ *\r
+ * The other functions are there to prevent NULL pointers from\r
+ * causing nast effects.\r
+ *\r
+ * More Recently:\r
+ * Brandon Long <blong@fiction.net> 9/15/96 for mutt 0.43\r
+ * This was ugly. It is still ugly. I opted out of floating point\r
+ * numbers, but the formatter understands just about everything\r
+ * from the normal C string format, at least as far as I can tell from\r
+ * the Solaris 2.5 printf(3S) man page.\r
+ *\r
+ * Brandon Long <blong@fiction.net> 10/22/97 for mutt 0.87.1\r
+ * Ok, added some minimal floating point support, which means this\r
+ * probably requires libm on most operating systems. Don't yet\r
+ * support the exponent (e,E) and sigfig (g,G). Also, fmtint()\r
+ * was pretty badly broken, it just wasn't being exercised in ways\r
+ * which showed it, so that's been fixed. Also, formated the code\r
+ * to mutt conventions, and removed dead code left over from the\r
+ * original. Also, there is now a builtin-test, just compile with:\r
+ * gcc -DTEST_SNPRINTF -o snprintf snprintf.c -lm\r
+ * and run snprintf for results.\r
+ *\r
+ * Thomas Roessler <roessler@guug.de> 01/27/98 for mutt 0.89i\r
+ * The PGP code was using unsigned hexadecimal formats.\r
+ * Unfortunately, unsigned formats simply didn't work.\r
+ *\r
+ * Michael Elkins <me@cs.hmc.edu> 03/05/98 for mutt 0.90.8\r
+ * The original code assumed that both snprintf() and vsnprintf() were\r
+ * missing. Some systems only have snprintf() but not vsnprintf(), so\r
+ * the code is now broken down under HAVE_SNPRINTF and HAVE_VSNPRINTF.\r
+ *\r
+ * Andrew Tridgell (tridge@samba.org) Oct 1998\r
+ * fixed handling of %.0f\r
+ * added test for HAVE_LONG_DOUBLE\r
+ *\r
+ * tridge@samba.org, idra@samba.org, April 2001\r
+ * got rid of fcvt code (twas buggy and made testing harder)\r
+ * added C99 semantics\r
+ *\r
+ **************************************************************/\r
+\r
+#ifndef NO_CONFIG_H /* for some tests */\r
+#include "config.h"\r
+#endif\r
+\r
+#ifdef HAVE_STRING_H\r
+#include <string.h>\r
+#endif\r
+\r
+#ifdef HAVE_STRINGS_H\r
+#include <strings.h>\r
+#endif\r
+#ifdef HAVE_CTYPE_H\r
+#include <ctype.h>\r
+#endif\r
+#include <sys/types.h>\r
+#include <stdarg.h>\r
+#ifdef HAVE_STDLIB_H\r
+#include <stdlib.h>\r
+#endif\r
+\r
+#if defined(HAVE_SNPRINTF) && defined(HAVE_VSNPRINTF) && defined(HAVE_C99_VSNPRINTF)\r
+/* only include stdio.h if we are not re-defining snprintf or vsnprintf */\r
+#include <stdio.h>\r
+/* make the compiler happy with an empty file */\r
+void dummy_snprintf(void) {}\r
+#else\r
+\r
+#ifdef HAVE_LONG_DOUBLE\r
+#define LDOUBLE long double\r
+#else\r
+#define LDOUBLE double\r
+#endif\r
+\r
+#ifdef HAVE_LONG_LONG\r
+#define LLONG long long\r
+#else\r
+#define LLONG long\r
+#endif\r
+\r
+static size_t dopr(char *buffer, size_t maxlen, const char *format,\r
+ va_list args);\r
+static void fmtstr(char *buffer, size_t *currlen, size_t maxlen,\r
+ char *value, int flags, int min, int max);\r
+static void fmtint(char *buffer, size_t *currlen, size_t maxlen,\r
+ long value, int base, int min, int max, int flags);\r
+static void fmtfp(char *buffer, size_t *currlen, size_t maxlen,\r
+ LDOUBLE fvalue, int min, int max, int flags);\r
+static void dopr_outch(char *buffer, size_t *currlen, size_t maxlen, char c);\r
+\r
+/*\r
+ * dopr(): poor man's version of doprintf\r
+ */\r
+\r
+/* format read states */\r
+#define DP_S_DEFAULT 0\r
+#define DP_S_FLAGS 1\r
+#define DP_S_MIN 2\r
+#define DP_S_DOT 3\r
+#define DP_S_MAX 4\r
+#define DP_S_MOD 5\r
+#define DP_S_CONV 6\r
+#define DP_S_DONE 7\r
+\r
+/* format flags - Bits */\r
+#define DP_F_MINUS (1 << 0)\r
+#define DP_F_PLUS (1 << 1)\r
+#define DP_F_SPACE (1 << 2)\r
+#define DP_F_NUM (1 << 3)\r
+#define DP_F_ZERO (1 << 4)\r
+#define DP_F_UP (1 << 5)\r
+#define DP_F_UNSIGNED (1 << 6)\r
+\r
+/* Conversion Flags */\r
+#define DP_C_SHORT 1\r
+#define DP_C_LONG 2\r
+#define DP_C_LDOUBLE 3\r
+#define DP_C_LLONG 4\r
+\r
+#define char_to_int(p) ((p)- '0')\r
+#ifndef MAX\r
+#define MAX(p,q) (((p) >= (q)) ? (p) : (q))\r
+#endif\r
+\r
+static size_t dopr(char *buffer, size_t maxlen, const char *format, va_list args)\r
+{\r
+ char ch;\r
+ LLONG value;\r
+ LDOUBLE fvalue;\r
+ char *strvalue;\r
+ int min;\r
+ int max;\r
+ int state;\r
+ int flags;\r
+ int cflags;\r
+ size_t currlen;\r
+ \r
+ state = DP_S_DEFAULT;\r
+ currlen = flags = cflags = min = 0;\r
+ max = -1;\r
+ ch = *format++;\r
+ \r
+ while (state != DP_S_DONE) {\r
+ if (ch == '\0')\r
+ state = DP_S_DONE;\r
+\r
+ switch(state) {\r
+ case DP_S_DEFAULT:\r
+ if (ch == '%')\r
+ state = DP_S_FLAGS;\r
+ else\r
+ dopr_outch (buffer, &currlen, maxlen, ch);\r
+ ch = *format++;\r
+ break;\r
+ case DP_S_FLAGS:\r
+ switch (ch) {\r
+ case '-':\r
+ flags |= DP_F_MINUS;\r
+ ch = *format++;\r
+ break;\r
+ case '+':\r
+ flags |= DP_F_PLUS;\r
+ ch = *format++;\r
+ break;\r
+ case ' ':\r
+ flags |= DP_F_SPACE;\r
+ ch = *format++;\r
+ break;\r
+ case '#':\r
+ flags |= DP_F_NUM;\r
+ ch = *format++;\r
+ break;\r
+ case '0':\r
+ flags |= DP_F_ZERO;\r
+ ch = *format++;\r
+ break;\r
+ default:\r
+ state = DP_S_MIN;\r
+ break;\r
+ }\r
+ break;\r
+ case DP_S_MIN:\r
+ if (isdigit((unsigned char)ch)) {\r
+ min = 10*min + char_to_int (ch);\r
+ ch = *format++;\r
+ } else if (ch == '*') {\r
+ min = va_arg (args, int);\r
+ ch = *format++;\r
+ state = DP_S_DOT;\r
+ } else {\r
+ state = DP_S_DOT;\r
+ }\r
+ break;\r
+ case DP_S_DOT:\r
+ if (ch == '.') {\r
+ state = DP_S_MAX;\r
+ ch = *format++;\r
+ } else {\r
+ state = DP_S_MOD;\r
+ }\r
+ break;\r
+ case DP_S_MAX:\r
+ if (isdigit((unsigned char)ch)) {\r
+ if (max < 0)\r
+ max = 0;\r
+ max = 10*max + char_to_int (ch);\r
+ ch = *format++;\r
+ } else if (ch == '*') {\r
+ max = va_arg (args, int);\r
+ ch = *format++;\r
+ state = DP_S_MOD;\r
+ } else {\r
+ state = DP_S_MOD;\r
+ }\r
+ break;\r
+ case DP_S_MOD:\r
+ switch (ch) {\r
+ case 'h':\r
+ cflags = DP_C_SHORT;\r
+ ch = *format++;\r
+ break;\r
+ case 'l':\r
+ cflags = DP_C_LONG;\r
+ ch = *format++;\r
+ if (ch == 'l') { /* It's a long long */\r
+ cflags = DP_C_LLONG;\r
+ ch = *format++;\r
+ }\r
+ break;\r
+ case 'L':\r
+ cflags = DP_C_LDOUBLE;\r
+ ch = *format++;\r
+ break;\r
+ default:\r
+ break;\r
+ }\r
+ state = DP_S_CONV;\r
+ break;\r
+ case DP_S_CONV:\r
+ switch (ch) {\r
+ case 'd':\r
+ case 'i':\r
+ if (cflags == DP_C_SHORT)\r
+ value = va_arg (args, int);\r
+ else if (cflags == DP_C_LONG)\r
+ value = va_arg (args, long int);\r
+ else if (cflags == DP_C_LLONG)\r
+ value = va_arg (args, LLONG);\r
+ else\r
+ value = va_arg (args, int);\r
+ fmtint (buffer, &currlen, maxlen, value, 10, min, max, flags);\r
+ break;\r
+ case 'o':\r
+ flags |= DP_F_UNSIGNED;\r
+ if (cflags == DP_C_SHORT)\r
+ value = va_arg (args, unsigned int);\r
+ else if (cflags == DP_C_LONG)\r
+ value = (long)va_arg (args, unsigned long int);\r
+ else if (cflags == DP_C_LLONG)\r
+ value = (long)va_arg (args, unsigned LLONG);\r
+ else\r
+ value = (long)va_arg (args, unsigned int);\r
+ fmtint (buffer, &currlen, maxlen, value, 8, min, max, flags);\r
+ break;\r
+ case 'u':\r
+ flags |= DP_F_UNSIGNED;\r
+ if (cflags == DP_C_SHORT)\r
+ value = va_arg (args, unsigned int);\r
+ else if (cflags == DP_C_LONG)\r
+ value = (long)va_arg (args, unsigned long int);\r
+ else if (cflags == DP_C_LLONG)\r
+ value = (LLONG)va_arg (args, unsigned LLONG);\r
+ else\r
+ value = (long)va_arg (args, unsigned int);\r
+ fmtint (buffer, &currlen, maxlen, value, 10, min, max, flags);\r
+ break;\r
+ case 'X':\r
+ flags |= DP_F_UP;\r
+ case 'x':\r
+ flags |= DP_F_UNSIGNED;\r
+ if (cflags == DP_C_SHORT)\r
+ value = va_arg (args, unsigned int);\r
+ else if (cflags == DP_C_LONG)\r
+ value = (long)va_arg (args, unsigned long int);\r
+ else if (cflags == DP_C_LLONG)\r
+ value = (LLONG)va_arg (args, unsigned LLONG);\r
+ else\r
+ value = (long)va_arg (args, unsigned int);\r
+ fmtint (buffer, &currlen, maxlen, value, 16, min, max, flags);\r
+ break;\r
+ case 'f':\r
+ if (cflags == DP_C_LDOUBLE)\r
+ fvalue = va_arg (args, LDOUBLE);\r
+ else\r
+ fvalue = va_arg (args, double);\r
+ /* um, floating point? */\r
+ fmtfp (buffer, &currlen, maxlen, fvalue, min, max, flags);\r
+ break;\r
+ case 'E':\r
+ flags |= DP_F_UP;\r
+ case 'e':\r
+ if (cflags == DP_C_LDOUBLE)\r
+ fvalue = va_arg (args, LDOUBLE);\r
+ else\r
+ fvalue = va_arg (args, double);\r
+ break;\r
+ case 'G':\r
+ flags |= DP_F_UP;\r
+ case 'g':\r
+ if (cflags == DP_C_LDOUBLE)\r
+ fvalue = va_arg (args, LDOUBLE);\r
+ else\r
+ fvalue = va_arg (args, double);\r
+ break;\r
+ case 'c':\r
+ dopr_outch (buffer, &currlen, maxlen, va_arg (args, int));\r
+ break;\r
+ case 's':\r
+ strvalue = va_arg (args, char *);\r
+ if (max == -1) {\r
+ max = strlen(strvalue);\r
+ }\r
+ if (min > 0 && max >= 0 && min > max) max = min;\r
+ fmtstr (buffer, &currlen, maxlen, strvalue, flags, min, max);\r
+ break;\r
+ case 'p':\r
+ strvalue = va_arg (args, void *);\r
+ fmtint (buffer, &currlen, maxlen, (long) strvalue, 16, min, max, flags);\r
+ break;\r
+ case 'n':\r
+ if (cflags == DP_C_SHORT) {\r
+ short int *num;\r
+ num = va_arg (args, short int *);\r
+ *num = currlen;\r
+ } else if (cflags == DP_C_LONG) {\r
+ long int *num;\r
+ num = va_arg (args, long int *);\r
+ *num = (long int)currlen;\r
+ } else if (cflags == DP_C_LLONG) {\r
+ LLONG *num;\r
+ num = va_arg (args, LLONG *);\r
+ *num = (LLONG)currlen;\r
+ } else {\r
+ int *num;\r
+ num = va_arg (args, int *);\r
+ *num = currlen;\r
+ }\r
+ break;\r
+ case '%':\r
+ dopr_outch (buffer, &currlen, maxlen, ch);\r
+ break;\r
+ case 'w':\r
+ /* not supported yet, treat as next char */\r
+ ch = *format++;\r
+ break;\r
+ default:\r
+ /* Unknown, skip */\r
+ break;\r
+ }\r
+ ch = *format++;\r
+ state = DP_S_DEFAULT;\r
+ flags = cflags = min = 0;\r
+ max = -1;\r
+ break;\r
+ case DP_S_DONE:\r
+ break;\r
+ default:\r
+ /* hmm? */\r
+ break; /* some picky compilers need this */\r
+ }\r
+ }\r
+ if (maxlen != 0) {\r
+ if (currlen < maxlen - 1)\r
+ buffer[currlen] = '\0';\r
+ else if (maxlen > 0)\r
+ buffer[maxlen - 1] = '\0';\r
+ }\r
+ \r
+ return currlen;\r
+}\r
+\r
+static void fmtstr(char *buffer, size_t *currlen, size_t maxlen,\r
+ char *value, int flags, int min, int max)\r
+{\r
+ int padlen, strln; /* amount to pad */\r
+ int cnt = 0;\r
+\r
+#ifdef DEBUG_SNPRINTF\r
+ printf("fmtstr min=%d max=%d s=[%s]\n", min, max, value);\r
+#endif\r
+ if (value == 0) {\r
+ value = "<NULL>";\r
+ }\r
+\r
+ for (strln = 0; value[strln]; ++strln); /* strlen */\r
+ padlen = min - strln;\r
+ if (padlen < 0)\r
+ padlen = 0;\r
+ if (flags & DP_F_MINUS)\r
+ padlen = -padlen; /* Left Justify */\r
+ \r
+ while ((padlen > 0) && (cnt < max)) {\r
+ dopr_outch (buffer, currlen, maxlen, ' ');\r
+ --padlen;\r
+ ++cnt;\r
+ }\r
+ while (*value && (cnt < max)) {\r
+ dopr_outch (buffer, currlen, maxlen, *value++);\r
+ ++cnt;\r
+ }\r
+ while ((padlen < 0) && (cnt < max)) {\r
+ dopr_outch (buffer, currlen, maxlen, ' ');\r
+ ++padlen;\r
+ ++cnt;\r
+ }\r
+}\r
+\r
+/* Have to handle DP_F_NUM (ie 0x and 0 alternates) */\r
+\r
+static void fmtint(char *buffer, size_t *currlen, size_t maxlen,\r
+ long value, int base, int min, int max, int flags)\r
+{\r
+ int signvalue = 0;\r
+ unsigned long uvalue;\r
+ char convert[20];\r
+ int place = 0;\r
+ int spadlen = 0; /* amount to space pad */\r
+ int zpadlen = 0; /* amount to zero pad */\r
+ int caps = 0;\r
+ \r
+ if (max < 0)\r
+ max = 0;\r
+ \r
+ uvalue = value;\r
+ \r
+ if(!(flags & DP_F_UNSIGNED)) {\r
+ if( value < 0 ) {\r
+ signvalue = '-';\r
+ uvalue = -value;\r
+ } else {\r
+ if (flags & DP_F_PLUS) /* Do a sign (+/i) */\r
+ signvalue = '+';\r
+ else if (flags & DP_F_SPACE)\r
+ signvalue = ' ';\r
+ }\r
+ }\r
+ \r
+ if (flags & DP_F_UP) caps = 1; /* Should characters be upper case? */\r
+\r
+ do {\r
+ convert[place++] =\r
+ (caps? "0123456789ABCDEF":"0123456789abcdef")\r
+ [uvalue % (unsigned)base ];\r
+ uvalue = (uvalue / (unsigned)base );\r
+ } while(uvalue && (place < 20));\r
+ if (place == 20) place--;\r
+ convert[place] = 0;\r
+\r
+ zpadlen = max - place;\r
+ spadlen = min - MAX (max, place) - (signvalue ? 1 : 0);\r
+ if (zpadlen < 0) zpadlen = 0;\r
+ if (spadlen < 0) spadlen = 0;\r
+ if (flags & DP_F_ZERO) {\r
+ zpadlen = MAX(zpadlen, spadlen);\r
+ spadlen = 0;\r
+ }\r
+ if (flags & DP_F_MINUS)\r
+ spadlen = -spadlen; /* Left Justifty */\r
+\r
+#ifdef DEBUG_SNPRINTF\r
+ printf("zpad: %d, spad: %d, min: %d, max: %d, place: %d\n",\r
+ zpadlen, spadlen, min, max, place);\r
+#endif\r
+\r
+ /* Spaces */\r
+ while (spadlen > 0) {\r
+ dopr_outch (buffer, currlen, maxlen, ' ');\r
+ --spadlen;\r
+ }\r
+\r
+ /* Sign */\r
+ if (signvalue)\r
+ dopr_outch (buffer, currlen, maxlen, signvalue);\r
+\r
+ /* Zeros */\r
+ if (zpadlen > 0) {\r
+ while (zpadlen > 0) {\r
+ dopr_outch (buffer, currlen, maxlen, '0');\r
+ --zpadlen;\r
+ }\r
+ }\r
+\r
+ /* Digits */\r
+ while (place > 0)\r
+ dopr_outch (buffer, currlen, maxlen, convert[--place]);\r
+ \r
+ /* Left Justified spaces */\r
+ while (spadlen < 0) {\r
+ dopr_outch (buffer, currlen, maxlen, ' ');\r
+ ++spadlen;\r
+ }\r
+}\r
+\r
+static LDOUBLE abs_val(LDOUBLE value)\r
+{\r
+ LDOUBLE result = value;\r
+\r
+ if (value < 0)\r
+ result = -value;\r
+ \r
+ return result;\r
+}\r
+\r
+static LDOUBLE POW10(int exp)\r
+{\r
+ LDOUBLE result = 1;\r
+ \r
+ while (exp) {\r
+ result *= 10;\r
+ exp--;\r
+ }\r
+ \r
+ return result;\r
+}\r
+\r
+static LLONG ROUND(LDOUBLE value)\r
+{\r
+ LLONG intpart;\r
+\r
+ intpart = (LLONG)value;\r
+ value = value - intpart;\r
+ if (value >= 0.5) intpart++;\r
+ \r
+ return intpart;\r
+}\r
+\r
+/* a replacement for modf that doesn't need the math library. Should\r
+ be portable, but slow */\r
+static double my_modf(double x0, double *iptr)\r
+{\r
+ int i;\r
+ long l;\r
+ double x = x0;\r
+ double f = 1.0;\r
+\r
+ for (i=0;i<100;i++) {\r
+ l = (long)x;\r
+ if (l <= (x+1) && l >= (x-1)) break;\r
+ x *= 0.1;\r
+ f *= 10.0;\r
+ }\r
+\r
+ if (i == 100) {\r
+ /* yikes! the number is beyond what we can handle. What do we do? */\r
+ (*iptr) = 0;\r
+ return 0;\r
+ }\r
+\r
+ if (i != 0) {\r
+ double i2;\r
+ double ret;\r
+\r
+ ret = my_modf(x0-l*f, &i2);\r
+ (*iptr) = l*f + i2;\r
+ return ret;\r
+ }\r
+\r
+ (*iptr) = l;\r
+ return x - (*iptr);\r
+}\r
+\r
+\r
+static void fmtfp (char *buffer, size_t *currlen, size_t maxlen,\r
+ LDOUBLE fvalue, int min, int max, int flags)\r
+{\r
+ int signvalue = 0;\r
+ double ufvalue;\r
+ char iconvert[311];\r
+ char fconvert[311];\r
+ int iplace = 0;\r
+ int fplace = 0;\r
+ int padlen = 0; /* amount to pad */\r
+ int zpadlen = 0;\r
+ int caps = 0;\r
+ int index;\r
+ double intpart;\r
+ double fracpart;\r
+ double temp;\r
+ \r
+ /*\r
+ * AIX manpage says the default is 0, but Solaris says the default\r
+ * is 6, and sprintf on AIX defaults to 6\r
+ */\r
+ if (max < 0)\r
+ max = 6;\r
+\r
+ ufvalue = abs_val (fvalue);\r
+\r
+ if (fvalue < 0) {\r
+ signvalue = '-';\r
+ } else {\r
+ if (flags & DP_F_PLUS) { /* Do a sign (+/i) */\r
+ signvalue = '+';\r
+ } else {\r
+ if (flags & DP_F_SPACE)\r
+ signvalue = ' ';\r
+ }\r
+ }\r
+\r
+#if 0\r
+ if (flags & DP_F_UP) caps = 1; /* Should characters be upper case? */\r
+#endif\r
+\r
+#if 0\r
+ if (max == 0) ufvalue += 0.5; /* if max = 0 we must round */\r
+#endif\r
+\r
+ /*\r
+ * Sorry, we only support 16 digits past the decimal because of our\r
+ * conversion method\r
+ */\r
+ if (max > 16)\r
+ max = 16;\r
+\r
+ /* We "cheat" by converting the fractional part to integer by\r
+ * multiplying by a factor of 10\r
+ */\r
+\r
+ temp = ufvalue;\r
+ my_modf(temp, &intpart);\r
+\r
+ fracpart = ROUND((POW10(max)) * (ufvalue - intpart));\r
+ \r
+ if (fracpart >= POW10(max)) {\r
+ intpart++;\r
+ fracpart -= POW10(max);\r
+ }\r
+\r
+\r
+ /* Convert integer part */\r
+ do {\r
+ temp = intpart;\r
+ my_modf(intpart*0.1, &intpart);\r
+ temp = temp*0.1;\r
+ index = (int) ((temp -intpart +0.05)* 10.0);\r
+ /* index = (int) (((double)(temp*0.1) -intpart +0.05) *10.0); */\r
+ /* printf ("%llf, %f, %x\n", temp, intpart, index); */\r
+ iconvert[iplace++] =\r
+ (caps? "0123456789ABCDEF":"0123456789abcdef")[index];\r
+ } while (intpart && (iplace < 311));\r
+ if (iplace == 311) iplace--;\r
+ iconvert[iplace] = 0;\r
+\r
+ /* Convert fractional part */\r
+ if (fracpart)\r
+ {\r
+ do {\r
+ temp = fracpart;\r
+ my_modf(fracpart*0.1, &fracpart);\r
+ temp = temp*0.1;\r
+ index = (int) ((temp -fracpart +0.05)* 10.0);\r
+ /* index = (int) ((((temp/10) -fracpart) +0.05) *10); */\r
+ /* printf ("%lf, %lf, %ld\n", temp, fracpart, index); */\r
+ fconvert[fplace++] =\r
+ (caps? "0123456789ABCDEF":"0123456789abcdef")[index];\r
+ } while(fracpart && (fplace < 311));\r
+ if (fplace == 311) fplace--;\r
+ }\r
+ fconvert[fplace] = 0;\r
+ \r
+ /* -1 for decimal point, another -1 if we are printing a sign */\r
+ padlen = min - iplace - max - 1 - ((signvalue) ? 1 : 0);\r
+ zpadlen = max - fplace;\r
+ if (zpadlen < 0) zpadlen = 0;\r
+ if (padlen < 0)\r
+ padlen = 0;\r
+ if (flags & DP_F_MINUS)\r
+ padlen = -padlen; /* Left Justifty */\r
+ \r
+ if ((flags & DP_F_ZERO) && (padlen > 0)) {\r
+ if (signvalue) {\r
+ dopr_outch (buffer, currlen, maxlen, signvalue);\r
+ --padlen;\r
+ signvalue = 0;\r
+ }\r
+ while (padlen > 0) {\r
+ dopr_outch (buffer, currlen, maxlen, '0');\r
+ --padlen;\r
+ }\r
+ }\r
+ while (padlen > 0) {\r
+ dopr_outch (buffer, currlen, maxlen, ' ');\r
+ --padlen;\r
+ }\r
+ if (signvalue)\r
+ dopr_outch (buffer, currlen, maxlen, signvalue);\r
+ \r
+ while (iplace > 0)\r
+ dopr_outch (buffer, currlen, maxlen, iconvert[--iplace]);\r
+\r
+#ifdef DEBUG_SNPRINTF\r
+ printf("fmtfp: fplace=%d zpadlen=%d\n", fplace, zpadlen);\r
+#endif\r
+\r
+ /*\r
+ * Decimal point. This should probably use locale to find the correct\r
+ * char to print out.\r
+ */\r
+ if (max > 0) {\r
+ dopr_outch (buffer, currlen, maxlen, '.');\r
+ \r
+ while (fplace > 0)\r
+ dopr_outch (buffer, currlen, maxlen, fconvert[--fplace]);\r
+ }\r
+ \r
+ while (zpadlen > 0) {\r
+ dopr_outch (buffer, currlen, maxlen, '0');\r
+ --zpadlen;\r
+ }\r
+\r
+ while (padlen < 0) {\r
+ dopr_outch (buffer, currlen, maxlen, ' ');\r
+ ++padlen;\r
+ }\r
+}\r
+\r
+static void dopr_outch(char *buffer, size_t *currlen, size_t maxlen, char c)\r
+{\r
+ if (*currlen < maxlen) {\r
+ buffer[(*currlen)] = c;\r
+ }\r
+ (*currlen)++;\r
+}\r
+\r
+#if !defined(HAVE_VSNPRINTF) || !defined(HAVE_C99_VSNPRINTF)\r
+int vsnprintf (char *str, size_t count, const char *fmt, va_list args)\r
+{\r
+ return dopr(str, count, fmt, args);\r
+}\r
+#endif\r
+\r
+#if !defined(HAVE_SNPRINTF) || !defined(HAVE_C99_VSNPRINTF)\r
+int snprintf(char *str,size_t count,const char *fmt,...)\r
+{\r
+ size_t ret;\r
+ va_list ap;\r
+ \r
+ va_start(ap, fmt);\r
+ ret = vsnprintf(str, count, fmt, ap);\r
+ va_end(ap);\r
+ return ret;\r
+}\r
+#endif\r
+\r
+#endif\r
+\r
+#ifndef HAVE_VASPRINTF\r
+int vasprintf(char **ptr, const char *format, va_list ap)\r
+{\r
+ int ret;\r
+ \r
+ ret = vsnprintf(NULL, 0, format, ap);\r
+ if (ret <= 0) return ret;\r
+\r
+ (*ptr) = (char *)malloc(ret+1);\r
+ if (!*ptr) return -1;\r
+ ret = vsnprintf(*ptr, ret+1, format, ap);\r
+\r
+ return ret;\r
+}\r
+#endif\r
+\r
+\r
+#ifndef HAVE_ASPRINTF\r
+int asprintf(char **ptr, const char *format, ...)\r
+{\r
+ va_list ap;\r
+ int ret;\r
+ \r
+ va_start(ap, format);\r
+ ret = vasprintf(ptr, format, ap);\r
+ va_end(ap);\r
+\r
+ return ret;\r
+}\r
+#endif\r
+\r
+#ifdef TEST_SNPRINTF\r
+\r
+int sprintf(char *str,const char *fmt,...);\r
+\r
+int main (void)\r
+{\r
+ char buf1[1024];\r
+ char buf2[1024];\r
+ char *fp_fmt[] = {\r
+ "%1.1f",\r
+ "%-1.5f",\r
+ "%1.5f",\r
+ "%123.9f",\r
+ "%10.5f",\r
+ "% 10.5f",\r
+ "%+22.9f",\r
+ "%+4.9f",\r
+ "%01.3f",\r
+ "%4f",\r
+ "%3.1f",\r
+ "%3.2f",\r
+ "%.0f",\r
+ "%f",\r
+ "-16.16f",\r
+ NULL\r
+ };\r
+ double fp_nums[] = { 6442452944.1234, -1.5, 134.21, 91340.2, 341.1234, 0203.9, 0.96, 0.996,\r
+ 0.9996, 1.996, 4.136, 0};\r
+ char *int_fmt[] = {\r
+ "%-1.5d",\r
+ "%1.5d",\r
+ "%123.9d",\r
+ "%5.5d",\r
+ "%10.5d",\r
+ "% 10.5d",\r
+ "%+22.33d",\r
+ "%01.3d",\r
+ "%4d",\r
+ "%d",\r
+ NULL\r
+ };\r
+ long int_nums[] = { -1, 134, 91340, 341, 0203, 0};\r
+ char *str_fmt[] = {\r
+ "10.5s",\r
+ "5.10s",\r
+ "10.1s",\r
+ "0.10s",\r
+ "10.0s",\r
+ "1.10s",\r
+ "%s",\r
+ "%.1s",\r
+ "%.10s",\r
+ "%10s",\r
+ NULL\r
+ };\r
+ char *str_vals[] = {"hello", "a", "", "a longer string", NULL};\r
+ int x, y;\r
+ int fail = 0;\r
+ int num = 0;\r
+\r
+ printf ("Testing snprintf format codes against system sprintf...\n");\r
+\r
+ for (x = 0; fp_fmt[x] ; x++) {\r
+ for (y = 0; fp_nums[y] != 0 ; y++) {\r
+ int l1 = snprintf(NULL, 0, fp_fmt[x], fp_nums[y]);\r
+ int l2 = snprintf(buf1, sizeof(buf1), fp_fmt[x], fp_nums[y]);\r
+ sprintf (buf2, fp_fmt[x], fp_nums[y]);\r
+ if (strcmp (buf1, buf2)) {\r
+ printf("snprintf doesn't match Format: %s\n\tsnprintf = [%s]\n\t sprintf = [%s]\n",\r
+ fp_fmt[x], buf1, buf2);\r
+ fail++;\r
+ }\r
+ if (l1 != l2) {\r
+ printf("snprintf l1 != l2 (%d %d) %s\n", l1, l2, fp_fmt[x]);\r
+ fail++;\r
+ }\r
+ num++;\r
+ }\r
+ }\r
+\r
+ for (x = 0; int_fmt[x] ; x++) {\r
+ for (y = 0; int_nums[y] != 0 ; y++) {\r
+ int l1 = snprintf(NULL, 0, int_fmt[x], int_nums[y]);\r
+ int l2 = snprintf(buf1, sizeof(buf1), int_fmt[x], int_nums[y]);\r
+ sprintf (buf2, int_fmt[x], int_nums[y]);\r
+ if (strcmp (buf1, buf2)) {\r
+ printf("snprintf doesn't match Format: %s\n\tsnprintf = [%s]\n\t sprintf = [%s]\n",\r
+ int_fmt[x], buf1, buf2);\r
+ fail++;\r
+ }\r
+ if (l1 != l2) {\r
+ printf("snprintf l1 != l2 (%d %d) %s\n", l1, l2, int_fmt[x]);\r
+ fail++;\r
+ }\r
+ num++;\r
+ }\r
+ }\r
+\r
+ for (x = 0; str_fmt[x] ; x++) {\r
+ for (y = 0; str_vals[y] != 0 ; y++) {\r
+ int l1 = snprintf(NULL, 0, str_fmt[x], str_vals[y]);\r
+ int l2 = snprintf(buf1, sizeof(buf1), str_fmt[x], str_vals[y]);\r
+ sprintf (buf2, str_fmt[x], str_vals[y]);\r
+ if (strcmp (buf1, buf2)) {\r
+ printf("snprintf doesn't match Format: %s\n\tsnprintf = [%s]\n\t sprintf = [%s]\n",\r
+ str_fmt[x], buf1, buf2);\r
+ fail++;\r
+ }\r
+ if (l1 != l2) {\r
+ printf("snprintf l1 != l2 (%d %d) %s\n", l1, l2, str_fmt[x]);\r
+ fail++;\r
+ }\r
+ num++;\r
+ }\r
+ }\r
+\r
+ printf ("%d tests failed out of %d.\n", fail, num);\r
+\r
+ printf("seeing how many digits we support\n");\r
+ {\r
+ double v0 = 0.12345678901234567890123456789012345678901;\r
+ for (x=0; x<100; x++) {\r
+ snprintf(buf1, sizeof(buf1), "%1.1f", v0*pow(10, x));\r
+ sprintf(buf2, "%1.1f", v0*pow(10, x));\r
+ if (strcmp(buf1, buf2)) {\r
+ printf("we seem to support %d digits\n", x-1);\r
+ break;\r
+ }\r
+ }\r
+ }\r
+\r
+ return 0;\r
+}\r
+#endif /* SNPRINTF_TEST */\r
+\r
+#endif /* OS2 && __IBMC__ */\r
abstptr abstract alias alttypes ansireserved argorder \\r
args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \\r
compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \\r
- decl divzero enum exports external fields flags forbody format freearray \\r
+ decl divzero enum enumtag exports external fields flags forbody format freearray \\r
funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \\r
- linked lintcomments list loopexec looptesteffect \\r
+ linked lintcomments list longint loopexec looptesteffect \\r
macros macrosef merge mergenull modifies modtest moduncon \\r
- mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \\r
+ mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \\r
parentype postnotnull preds prefixes printflike rc refcounts release repexpose \\r
returned sharing shifts sizesigns slovaknames \\r
specclauses \\r
UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r
\r
### warnuse doesn't work yet!\r
-SUBDIRTESTS = metastate mergestate tainted fileio \\r
+SUBDIRTESTS1 = metastate mergestate fileio \\r
simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \\r
- maxset strchr for manual\\r
-tests2.2 tests2.4 tests2.5 db1 db2 db3\r
+ maxset strchr sizeoftest for manual\r
+SUBDIRTESTS1 = tests2.5 db1 db2 db3\r
+SUBDIRTESTS2 = tainted tests2.2 tests2.4 \r
+SUBDIRTESTS = $(SUBDIRTESTS1) $(SUBDIRTESTS2)\r
\r
SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)\r
\r
\r
help:\r
-@$(SPLINT)\r
- #@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl\r
- @$(SPLINT) -help\r
- @$(SPLINTP) -asdf\r
- @$(SPLINTP) +boolint +boolint \r
- @$(SPLINT) -help flags alpha\r
+ -@$(SPLINT) -help\r
+ -@$(SPLINTP) -asdf\r
+ -@$(SPLINTP) +boolint +boolint \r
+ -@$(SPLINT) -help flags alpha\r
+\r
+### Rules for tests start here\r
\r
.PHONY: abstptr\r
abstptr:\r
\r
.PHONY: chararraylit\r
chararraylit:\r
- -$(SPLINTR) chararraylit.c -expect 2\r
+ $(SPLINTR) chararraylit.c -expect 2\r
\r
### Two addition errors detected with 2.5 with -numliteral.\r
\r
+### evans 2002-12-15: finds one more but in charlit\r
.PHONY: charlit\r
charlit:\r
$(SPLINTR) +hints charlit.c -expect 4\r
$(SPLINTR) +hints -numliteral charlit.c -expect 6\r
- $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns\r
+ $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns -expect 1\r
\r
.PHONY: clauses\r
clauses: \r
\r
.PHONY: enumtag\r
enumtag:\r
- -$(SPLINTR) enumtag.c -expect 2\r
+ $(SPLINTR) enumtag.c -expect 2\r
\r
.PHONY: exports\r
exports:\r
### libs\r
### 2001-05-22: 2 new errors found (fixed spec of signal)\r
### 2001-05-30: 3 new errors found (formatconst)\r
+### 2002-07-08: 2 new errors found (getc modifies errno)\r
\r
.PHONY: libs\r
libs:\r
$(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18\r
$(SPLINTR) libs.c -expect 22\r
$(SPLINTR) libs.c +globunspec +modunspec -expect 25\r
- $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 42\r
+ $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 44\r
\r
.PHONY: lintcomments\r
lintcomments:\r
list:\r
$(SPLINTR) list.c -expect 3\r
\r
+###\r
+### 2002-12-12: Added test case for +longint and +shortint flags\r
+###\r
+\r
+.PHONY: longint\r
+longint:\r
+ $(SPLINTR) longint.c -expect 3\r
+ $(SPLINTR) longint.c +longint -expect 2\r
+ $(SPLINTR) longint.c +shortint -expect 2\r
+ $(SPLINTR) longint.c +shortint +longint -expect 0\r
+\r
###\r
### 2002-01-01: Added test case for obvious loop execution.\r
###\r
$(SPLINTR) null1.c -null -mustdefine -expect 4\r
$(SPLINTR) null2.c -expect 11\r
$(SPLINTR) null3.c -expect 15\r
- $(SPLINTR) null3.c -warnunixlib +unixlib -expect 16\r
+ $(SPLINTR) null3.c +unixlib -expect 16\r
$(SPLINTR) null4.c -expect 1\r
$(SPLINTR) null5.c -expect 4\r
$(SPLINTR) null6 -expect 4\r
.PHONY: nullret\r
nullret:\r
$(SPLINTR) nullret.c -expect 2\r
- $(SPLINTR) -nullret nullret.c -expect 1\r
+ $(SPLINTR) -nullret nullret.c -expect 0\r
\r
.PHONY: nullassign\r
nullassign:\r
$(SPLINTR) nullassign.c -expect 2\r
$(SPLINTR) -nullassign nullassign.c -expect 1\r
\r
+### Added for 3.1 - evans 2002-12-14\r
+\r
+.PHONY: numabstract\r
+numabstract:\r
+ $(SPLINTR) numabstract.c -expect 11\r
+ $(SPLINTR) numabstract.c +numabstractlit -expect 9\r
+ $(SPLINTR) numabstract.c -numabstractcast -expect 10\r
+\r
#\r
# Before 2.4, expected one more because error was reported both as \r
# dependent and observer.\r
preds:\r
$(SPLINTR) +hints preds.c -expect 6\r
$(SPLINTRN) +hints preds.c -weak -expect 1\r
- $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12\r
+ $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10\r
\r
.PHONY: prefixes\r
prefixes:\r
$(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1\r
$(SPLINTR) prefixes.c -externalprefix "G" -expect 5\r
$(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4\r
-# herbert: unsolved problem with quoting the '*' here!\r
+# Herbert: this does not work under OS/2\r
# $(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
\r
.PHONY: printflike\r
\r
.PHONY: rcfiles\r
rcfiles:\r
- cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"\r
+ cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)"\r
\r
.PHONY: refcounts\r
refcounts:\r
$(SPLINTR) shifts.c -shiftimplementation -expect 3\r
$(SPLINTR) shifts.c -shiftnegative -expect 1\r
\r
+#drl comment this out until sizesigns is added to cvs\r
+\r
### evans - added 2002-08-17: check warnings with arbitrary integral types\r
sizesigns:\r
- -$(SPLINTR) +strict sizesigns.c\r
- -$(SPLINTR) +strict +ignoresigns sizesigns.c\r
- -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c\r
- -$(SPLINTR) +strict +matcharbitraryintegral +ignoresignz sizesigns.c\r
+ $(SPLINTR) +strict sizesigns.c -expect 5\r
+ $(SPLINTR) +strict +matchanyintegral sizesigns.c -expect 4\r
\r
.PHONY: slovaknames\r
slovaknames:\r
###\r
### 2001-12-30: Poor warnings reported by Peter Deutsch\r
###\r
+### 2002-07-03: removed warnings for datatype/macro definitions\r
+###\r
\r
.PHONY: utypes\r
utypes:\r
buffertest:\r
$(SPLINTR) +bounds buffertest1.c -expect 5\r
\r
-.PHONY: $(SUBDIRTESTS)\r
-$(SUBDIRTESTS):\r
- $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" \r
+.PHONY: $(SUBDIRTESTS1)\r
+$(SUBDIRTESTS1):\r
+ cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)"\r
+\r
+.PHONY: $(SUBDIRTESTS2)\r
+$(SUBDIRTESTS2):\r
+ cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)" -f Makefile.os2\r
\r
+# sizesigns.c sizesigns.expect \\r
+# Tell versions [3.59,3.63) of GNU make to not export all variables.\r
+# Otherwise a system limit (for SysV at least) may be exceeded.\r
+.NOEXPORT:\r
andersk / splint.git / commitdiff
