X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/efd360a3de13e14de15dd5cac81e94cf23f371f2..ccf0a4a84a5a030c02e90d914b3f152b29826737:/test/ansireserved.out diff --git a/test/ansireserved.out b/test/ansireserved.out index bccef12..afe3121 100644 --- a/test/ansireserved.out +++ b/test/ansireserved.out @@ -54,11 +54,11 @@ ansireserved.c:9: Name EVANS is reserved for future ANSI library extensions. . (See ANSI, Section 4.13.1) ansireserved.c:1:5: Name decimal_point is reserved for the standard library ansireserved.c:2:5: Function srand inconsistently declared as variable: int - load file ansi.lcd:866:1: Specification of srand: + load file ansi.lcd:869:1: Specification of srand: [function (unsigned int) returns void] ansireserved.c:2:5: Name srand is reserved for the standard library ansireserved.c:3:5: Function labs inconsistently declared as variable: int - load file ansi.lcd:888:1: Specification of labs: + load file ansi.lcd:891:1: Specification of labs: [function (long int) returns long int] ansireserved.c:3:5: Name labs is reserved for the standard library ansireserved.c:4:5: Name _x is in the implementation name space (any identifier