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

Reply via email to