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 submit@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 submit@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: splint@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