Your message dated Mon, 12 Nov 2007 12:52:54 +0530
with message-id <[EMAIL PROTECTED]>
and subject line K&R / Standard C mismatch
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: splint
Version: 3.0.1.6-3
Severity: normal
Does splint expect traditional K&R C or standard (ISO) C code?
It should define __STDC__ or not in consequence.
In either case, it should be able to accept the following code
(mainly from gmp.h -- the header for the GMP library):
------------------------------------------------------------
#if defined (__STDC__) \
|| defined (__cplusplus) \
|| defined (_AIX) \
|| defined (__DECC) \
|| (defined (__mips) && defined (_SYSTYPE_SVR4)) \
|| defined (_MSC_VER) \
|| defined (_WIN32)
#define __GMP_HAVE_CONST 1
#define __GMP_HAVE_PROTOTYPES 1
#define __GMP_HAVE_TOKEN_PASTE 1
#else
#define __GMP_HAVE_CONST 0
#define __GMP_HAVE_PROTOTYPES 0
#define __GMP_HAVE_TOKEN_PASTE 0
#endif
#if __GMP_HAVE_PROTOTYPES
#define __GMP_PROTO(x) x
#else
#define __GMP_PROTO(x) ()
#endif
#ifndef __MPN
#if __GMP_HAVE_TOKEN_PASTE
#define __MPN(x) __gmpn_##x
#else
#define __MPN(x) __gmpn_/**/x
#endif
#endif
#define mpn_add __MPN(add)
int mpn_add __GMP_PROTO ((int));
------------------------------------------------------------
I get the following parse error:
$ splint pptest.c
Splint 3.0.1.6 --- 11 Jun 2002
pptest.c:32:19: Parse Error: Inconsistent function declaration: __gmpn_ :
int. (For help on parse errors, see splint -help parseerrors.)
*** Cannot continue.
-- System Information
Debian Release: testing/unstable
Kernel Version: Linux ay 2.4.18-newpmac #1 Thu Mar 14 22:44:49 EST 2002 ppc
7410, altivec supported GNU/Linux
Versions of the packages splint depends on:
ii libc6 2.2.5-14.3 GNU C Library: Shared libraries and Timezone
--- End Message ---
--- Begin Message ---
On 03/05/20 16:11 +0200, Vincent Lefevre said ...
> Here are the explanations of the problem:
>
> greux:~> splint pptest.c
> Splint 3.1.1 --- 08 May 2003
>
> pptest.c:32:19: Parse Error: Non-function declaration: __gmpn_ :
> int. (For help on parse errors, see splint -help parseerrors.)
> *** Cannot continue.
>
> greux:~> splint -D__STDC__ pptest.c
> Splint 3.1.1 --- 08 May 2003
>
> Finished checking --- no warnings
>
> --> This is what you should get with "splint pptest.c" if __STDC__
> were defined by default.
Thus, marking done.
Giridhar
--
Y Giridhar Appaji Nag | http://www.appaji.net/
signature.asc
Description: Digital signature
--- End Message ---
