CVS patchset: 7326
CVS date: 2004/06/14 17:54:06
}
/*@=branchstate@*/
- if (s == NULL) {
/*@-branchstate@*/
- if (anint != 0) {
+ if (s == NULL) {
int tlen = 32;
t = memset(alloca(tlen+1), 0, tlen+1);
- xx = snprintf(t, tlen, "%lu", anint);
+ if (anint != 0)
+ xx = snprintf(t, tlen, "%lu", anint);
s = t;
- }
-/*@=branchstate@*/
xtag = "integer";
}
+/*@=branchstate@*/
nb = xmlstrlen(s);
if (nb == 0) {