X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/028230a4017e67c2de99d101f97b7c2e1f21e2a8..8fd556fb32e6886724d72e99270d429554f28ea6:/src/cppexp.c diff --git a/src/cppexp.c b/src/cppexp.c index 6f59849..3c97c98 100644 --- a/src/cppexp.c +++ b/src/cppexp.c @@ -256,7 +256,7 @@ cppReader_parseNumber (cppReader *pfile, char *start, int olen) /*@requires maxR for (i = 0; i < len; i++) { - /*drl bee: is*/ if (p[i] == '.') { + if (p[i] == '.') { /* It's a float since it contains a point. */ cppReader_errorLit (pfile, @@ -335,7 +335,7 @@ cppReader_parseNumber (cppReader *pfile, char *start, int olen) /*@requires maxR /*@innerbreak@*/ break; } - /*drl bee: ltc*/ c = *p++; + c = *p++; } /* Don't look for any more digits after the suffixes. */ break; @@ -516,7 +516,7 @@ struct operation cppexp_lex (cppReader *pfile) } ++ptr; - /*drl bee: hda*/ while (ptr < tok_end && ((c = *ptr++) != '\'')) + while (ptr < tok_end && ((c = *ptr++) != '\'')) { if (c == '\\') { @@ -547,7 +547,7 @@ struct operation cppexp_lex (cppReader *pfile) } } - /*drl bee: dad*/ token_buffer[num_chars] = 0; + token_buffer[num_chars] = 0; if (c != '\'') cppReader_errorLit (pfile, @@ -629,8 +629,8 @@ struct operation cppexp_lex (cppReader *pfile) { for (toktab = tokentab2; toktab->operator != NULL; toktab++) { - /*drl bee: hda*/ if (tok_start[0] == /*drl bee: hda*/ toktab->operator[0] - && /*drl bee: hda*/ tok_start[1] == /*drl bee: hda*/ toktab->operator[1]) + if (tok_start[0] == toktab->operator[0] && + tok_start[1] == toktab->operator[1]) { /*@loopbreak@*/ break; } @@ -674,7 +674,7 @@ struct operation cppexp_lex (cppReader *pfile) int cppReader_parseEscape (cppReader *pfile, char **string_ptr) { - /*drl bee: pbr*/ char c = *(*string_ptr)++; + char c = *(*string_ptr)++; switch (c) { @@ -728,7 +728,7 @@ cppReader_parseEscape (cppReader *pfile, char **string_ptr) else { - /*drl bee: pbr*/ (*string_ptr)--; + (*string_ptr)--; /*@loopbreak@*/ break; } }