Maintained by: NLnet Labs

[Unbound-users] splint test?

Robert Edmonds
Wed Feb 5 19:15:23 CET 2014


Hi,

The lint test run by 'make longtest' fails for me, at least on Debian
unstable and FreeBSD 10.  I tried both Unbound 1.4.21 and svn r3070 with
splint 3.1.2.

On Debian,

    $ cat testdata/result.00-lint 
    minitpkg exe 00-lint
    Description: Put source into lint.
    DateRunStart: 1391623584
    minitpkg exe 00-lint.test
    make[1]: Entering directory `/tmp/unbound-1.4.21'
    splint +quiet -weak -warnposix -unrecog -Din_addr_t=uint32_t -Du_int=unsigned -Du_char=uint8_t -preproc -Drlimit=rlimit64 -D__gnuc_va_list=va_list "-DBN_ULONG=unsigned long" -Dkrb5_int32=int "-Dkrb5_ui_4=unsigned int" -DPQ_64BIT=uint64_t -DRC4_INT=unsigned -fixedformalarray -D"ENGINE=unsigned" -D"RSA=unsigned" -D"DSA=unsigned" -D"EVP_PKEY=unsigned" -D"EVP_MD=unsigned" -D"SSL=unsigned" -D"SSL_CTX=unsigned" -D"X509=unsigned" -D"RC4_KEY=unsigned" -D"EVP_MD_CTX=unsigned" -D"ECDSA_SIG=DSA_SIG"  "-Dsigset_t=long" "-D__uint16_t=uint16_t" -I. -I. -I/include services/cache/dns.c
    /usr/include/unistd.h:220:8: Parse Error: Non-function declaration:
        __BEGIN_DECLS : int. (For help on parse errors, see splint -help
        parseerrors.)
    *** Cannot continue.
    make[1]: *** [services/cache/dns.lint] Error 1
    make[1]: Leaving directory `/tmp/unbound-1.4.21'
    00-lint: FAILED
    DateRunEnd: 1391623584
    $

On FreeBSD,

    # cat testdata/result.00-lint 
    minitpkg exe 00-lint
    Description: Put source into lint.
    DateRunStart: 1391623696
    minitpkg exe 00-lint.test
    gmake[1]: Entering directory `/root/src/unbound-1.4.21'
    splint +quiet -weak -warnposix -unrecog -Din_addr_t=uint32_t -Du_int=unsigned -Du_char=uint8_t -preproc -Drlimit=rlimit64 -D__gnuc_va_list=va_list "-DBN_ULONG=unsigned long" -Dkrb5_int32=int "-Dkrb5_ui_4=unsigned int" -DPQ_64BIT=uint64_t -DRC4_INT=unsigned -fixedformalarray -D"ENGINE=unsigned" -D"RSA=unsigned" -D"DSA=unsigned" -D"EVP_PKEY=unsigned" -D"EVP_MD=unsigned" -D"SSL=unsigned" -D"SSL_CTX=unsigned" -D"X509=unsigned" -D"RC4_KEY=unsigned" -D"EVP_MD_CTX=unsigned" -D"ECDSA_SIG=DSA_SIG"  "-Dsigset_t=long" "-D__uint16_t=uint16_t" -I. -I. -I/include services/cache/dns.c
    touch services/cache/dns.lint
    splint +quiet -weak -warnposix -unrecog -Din_addr_t=uint32_t -Du_int=unsigned -Du_char=uint8_t -preproc -Drlimit=rlimit64 -D__gnuc_va_list=va_list "-DBN_ULONG=unsigned long" -Dkrb5_int32=int "-Dkrb5_ui_4=unsigned int" -DPQ_64BIT=uint64_t -DRC4_INT=unsigned -fixedformalarray -D"ENGINE=unsigned" -D"RSA=unsigned" -D"DSA=unsigned" -D"EVP_PKEY=unsigned" -D"EVP_MD=unsigned" -D"SSL=unsigned" -D"SSL_CTX=unsigned" -D"X509=unsigned" -D"RC4_KEY=unsigned" -D"EVP_MD_CTX=unsigned" -D"ECDSA_SIG=DSA_SIG"  "-Dsigset_t=long" "-D__uint16_t=uint16_t" -I. -I. -I/include services/cache/infra.c
    touch services/cache/infra.lint
    splint +quiet -weak -warnposix -unrecog -Din_addr_t=uint32_t -Du_int=unsigned -Du_char=uint8_t -preproc -Drlimit=rlimit64 -D__gnuc_va_list=va_list "-DBN_ULONG=unsigned long" -Dkrb5_int32=int "-Dkrb5_ui_4=unsigned int" -DPQ_64BIT=uint64_t -DRC4_INT=unsigned -fixedformalarray -D"ENGINE=unsigned" -D"RSA=unsigned" -D"DSA=unsigned" -D"EVP_PKEY=unsigned" -D"EVP_MD=unsigned" -D"SSL=unsigned" -D"SSL_CTX=unsigned" -D"X509=unsigned" -D"RC4_KEY=unsigned" -D"EVP_MD_CTX=unsigned" -D"ECDSA_SIG=DSA_SIG"  "-Dsigset_t=long" "-D__uint16_t=uint16_t" -I. -I. -I/include services/cache/rrset.c
    touch services/cache/rrset.lint
    splint +quiet -weak -warnposix -unrecog -Din_addr_t=uint32_t -Du_int=unsigned -Du_char=uint8_t -preproc -Drlimit=rlimit64 -D__gnuc_va_list=va_list "-DBN_ULONG=unsigned long" -Dkrb5_int32=int "-Dkrb5_ui_4=unsigned int" -DPQ_64BIT=uint64_t -DRC4_INT=unsigned -fixedformalarray -D"ENGINE=unsigned" -D"RSA=unsigned" -D"DSA=unsigned" -D"EVP_PKEY=unsigned" -D"EVP_MD=unsigned" -D"SSL=unsigned" -D"SSL_CTX=unsigned" -D"X509=unsigned" -D"RC4_KEY=unsigned" -D"EVP_MD_CTX=unsigned" -D"ECDSA_SIG=DSA_SIG"  "-Dsigset_t=long" "-D__uint16_t=uint16_t" -I. -I. -I/include util/data/dname.c
    /usr/include/xlocale/_ctype.h:52:14: Parse Error: Non-function declaration:
        _RuneLocale : int. (For help on parse errors, see splint -help
        parseerrors.)
    *** Cannot continue.
    gmake[1]: *** [util/data/dname.lint] Error 1
    gmake[1]: Leaving directory `/root/src/unbound-1.4.21'
    00-lint: FAILED
    DateRunEnd: 1391623696
    # 

-- 
Robert Edmonds
edmonds at debian.org