[Spice-devel] [PATCH spice-server 00/15] Remove unused functions

[Frediano Ziglio]

> 
> On Thu, Nov 19, 2015 at 08:44:50PM +0100, Pavel Grunt wrote:
> > Hi,
> > 
> > I noticed that there are some unused functions in our code.
> 
> Did you find these functions manually? Or did you use something somehow
> programmatic to detect them?
> 
> Christophe
> 

I don't know how Pavel did it but 2 days ago (not joking) I wrote
a script to try to catch functions not used and functions which could
be declared static.

See http://pastebin.com/B4fYZknS.

Frediano