Package: splint
Version: 3.1.2.dfsg-5
Severity: minor
Splint chokes parsing an unary plus operator, like in the following
example:
int test(void) {
return +1;
}
Which causes splint to stop processing with the following output:
test.c:3:2: *** Internal Bug at constraintGeneration.c:1441:
Unsupported preop in +1 [errno: 25]
*** Please report bug to [EMAIL PROTECTED] ***
(attempting to continue, results may be incorrect)
test.c:3:2: *** Internal Bug at constraintGeneration.c:1442:
constraintGeneration.c:1442: llassert failed: FALSE:
Reached dead code! [errno: 25]
*** Please report bug to [EMAIL PROTECTED] ***
(attempting to continue, results may be incorrect)
Hochachtungsvoll,
Bernhard R. Link
--
"Never contain programs so few bugs, as when no debugging tools are available!"
Niklaus Wirth
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
