Package: splint
Version: 3.1.2.dfsg1-2
Severity: normal
Dear Maintainer,
I've run into some C syntax that causes the `splint` program to report an
"Internal Bug".
Here is the exact command and its output.
```
$ splint constant.c
Splint 3.1.2 --- 03 May 2009
constraintGeneration.c:1381: at source point
constant.c:9:2: *** Internal Bug at constraintGeneration.c:1381:
llassert failed: exprNode_isDefined(t1) [errno: 25]
*** Please report bug to sub...@bugs.debian.org (via reportbug) ***
(attempting to continue, results may be incorrect)
Finished checking --- no warnings
1 internal bugs reported
```
And here is the reduced program that causes this report.
```
/*
* constant.c
*/
int main(void)
{
const int * const const_val = &(int){ 1234 };
return *const_val;
}
```
Thank you.
-- System Information:
Debian Release: stretch/sid
APT prefers xenial-updates
APT policy: (500, 'xenial-updates'), (500, 'xenial-security'), (500,
'xenial'), (100, 'xenial-backports')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.13.0-32-generic (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages splint depends on:
ii libc6 2.23-0ubuntu10
ii splint-data 3.1.2.dfsg1-2
splint recommends no packages.
Versions of packages splint suggests:
pn splint-doc-html <none>
-- no debconf information
