goblint/analyzer — Issue #3: Uncalled functions after functional diffs
Author: vesalvojdani
Created: 2012-01-19 12:05:52+00:00
State: open

Since 2e60f173bdab27654f8edd1dc75185eacb76d420, we have a few more uncalled function. The pointer is put into a struct at [ipmi_devintf.c:114](http://lxr.linux.no/linux+*/drivers/char/ipmi/ipmi_devintf.c#L114), and then used later on. I'm not sure whether this function was previously called during the assignment or a few lines below where the struct containing that pointer is passed to the external function.