Package: splint While attempting to splint my C code, splint experience an internal error.
Source: https://github.com/mcandre/boehmtest/tree/6e37af308fe0df12c6f7de3a66cf949040bdf193 Trace: $ make splint find . -type f -name '*.[ch]' -exec splint {} \; Splint 3.1.2 --- 03 May 2009 cscannerHelp.c:952: at source point boehmtest.c:30:103: *** Internal Bug at cscannerHelp.c:952: llassert failed: (char) nc == AFTER_COMMENT_MARKER[1] [errno: 25] *** Please report bug to sub...@bugs.debian.org (via reportbug) *** (attempting to continue, results may be incorrect) boehmtest.c:30:70: Semantic comment unrecognized: out%} Word after a stylized comment marker does not correspond to a stylized comment. (Use -unrecogcomments to inhibit warning) cscannerHelp.c:2842: at source point boehmtest.c:30:105: *** Internal Bug at cscannerHelp.c:2842: llassert failed: s_inSpecPart [errno: 25] *** Please report bug to sub...@bugs.debian.org (via reportbug) *** (attempting to continue, results may be incorrect) boehmtest.c:30:105: Parse Error. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue. System: $ specs splint os Specs: specs 0.8 https://github.com/mcandre/specs#readme splint -help version Splint 3.1.2 --- 03 May 2009 Maintainer: spl...@packages.debian.org Compiled using x86_64-linux-gnu-gcc -Wall -g -O2 on Linux crested 2.6.24-23-server #1 SMP Wed Apr 1 22:14:30 UTC 2009 x86_64 GNU/Linux by buildd lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 14.04.1 LTS Release: 14.04 Codename: trusty -- Cheers, Andrew Pennebaker www.yellosoft.us
