On Mo, Mai 14, 2012 at 18:31:54 (CEST), Greg KH wrote: > On Mon, May 14, 2012 at 06:05:20PM +0200, Reinhard Tartler wrote: >> This fixes compilation as module. >> >> Signed-off-by: Reinhard Tartler <tartler@xxxxxxxxx> >> --- >> drivers/usb/musb/cppi_dma.c | 1 + >> 1 file changed, 1 insertion(+) >> >> This patch was found by tools developed in the VAMOS project: >> http://www4.cs.fau.de/Research/VAMOS/ > > Does that mean that no one actually can hit this in "real life"? Or is > there a valid .config that this solves a problem for? If so, is it also > needed for the 3.4/3.3-stable tree and older ones? My tool has generated the attached configuration that exposes this compilation failure. I have used kernel v3.2 with Ubuntu's arm cross-compiler for the analysis and verification.
Attachment:
cppi_dma.c.config0.expanded
Description: Binary data
Cheers, Reinhard -- Reinhard Tartler Department of Computer Science IV Martensstr 1, 91058 Erlangen Germany, University of Erlangen-Nuremberg http://www4.informatik.uni-erlangen.de/~tartler