| Summary: | dev-util/splint-3.1.2-r2 experiences an internal bug on struct variable definition | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | hkBst <mhkbst> |
| Component: | Current packages | Assignee: | No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed> |
| Status: | UNCONFIRMED --- | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
splint-3.1.2-r2 experiences an internal bug on struct variable definition code: $ cat splint-internal-bug.c struct { void (*callback)(const char *); char command[8]; } commands[] = { NULL, "" }; $ splint splint-internal-bug.c Splint 3.1.2 --- 05 Nov 2018 splint-internal-bug.c:6:3: *** Internal Bug at uentry.c:5307: uentry_unparseAbbrev: not variable [errno: 25] *** Please report bug to splint-bug@splint.org *** (attempting to continue, results may be incorrect) splint-internal-bug.c:5:9: Initial value of commands[1] is type char *, expects struct { void callback(char *); char [8] command; }: "" Types are incompatible. (Use -type to inhibit warning) splint-internal-bug.c:4:3: File static variable commands declared but not used A variable is declared but never used. Use /*@unused@*/ in front of declaration to suppress message. (Use -varuse to inhibit warning) Finished checking --- 2 code warnings 1 internal bugs reported I tried to report this upstream but both email addresses splint-bug@splint.org (program output) and splint-bug@cs.virginia.edu (from website) appear to not work any more...