Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 670360 - dev-util/splint-3.1.2-r2 experiences an internal bug on struct variable definition
Summary: dev-util/splint-3.1.2-r2 experiences an internal bug on struct variable defin...
Status: UNCONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Jeroen Roovers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-11-05 11:43 UTC by hkBst
Modified: 2018-11-05 12:34 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description hkBst 2018-11-05 11:43:20 UTC
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...