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...
