> > Finally we have studied several versions. The last one is 0.9.8a. > Unfortunately, I could not find problems that occur only in that version. >
Found! But the false positives are not identified. -- Nicolas Palix Tel: (+33) 1 44 27 87 25
badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/video_filter/mosaic.c::face=ovl-face1::linb=499::colb=45::cole=57][ /var/storage/projects/vlc/0.9.8a/modules/video_filter/mosaic.c::499]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::face=ovl-face1::linb=2174::colb=12::cole=22][ /var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::2174]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::face=ovl-face1::linb=2182::colb=12::cole=22][ /var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::2182]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::face=ovl-face1::linb=2199::colb=16::cole=26][ /var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::2199]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::face=ovl-face1::linb=2207::colb=16::cole=26][ /var/storage/projects/vlc/0.9.8a/modules/stream_out/transcode.c::2207]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=128::colb=5::cole=17][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::128]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=137::colb=5::cole=18][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::137]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=250::colb=4::cole=8][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::250]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=270::colb=5::cole=25][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::270]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=294::colb=4::cole=36][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::294]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=297::colb=5::cole=9][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::297]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=337::colb=5::cole=21][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::337]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=363::colb=5::cole=25][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::363]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=417::colb=7::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::417]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=443::colb=8::cole=9][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::443]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::face=ovl-face1::linb=479::colb=7::cole=8][ /var/storage/projects/vlc/0.9.8a/libs/loader/registry.c::479]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/module.c::face=ovl-face1::linb=99::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/module.c::99]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/module.c::face=ovl-face1::linb=101::colb=7::cole=10][ /var/storage/projects/vlc/0.9.8a/libs/loader/module.c::101]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/module.c::face=ovl-face1::linb=399::colb=8::cole=10][ /var/storage/projects/vlc/0.9.8a/libs/loader/module.c::399]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ldt_keeper.c::face=ovl-face1::linb=301::colb=26::cole=40][ /var/storage/projects/vlc/0.9.8a/libs/loader/ldt_keeper.c::301]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=145::colb=8::cole=12][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::145]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=207::colb=7::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::207]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=219::colb=7::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::219]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=399::colb=4::cole=6][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::399]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=431::colb=7::cole=9][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::431]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=492::colb=7::cole=14][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::492]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=596::colb=7::cole=10][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::596]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=598::colb=23::cole=27][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::598]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=603::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::603]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=633::colb=7::cole=9][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::633]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=635::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::635]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::face=ovl-face1::linb=639::colb=4::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/ext.c::639]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=277::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::277]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=309::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::309]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=427::colb=8::cole=14][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::427]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=478::colb=8::cole=14][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::478]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=559::colb=32::cole=35][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::559]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=565::colb=32::cole=35][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::565]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1235::colb=7::cole=8][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1235]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1285::colb=7::cole=8][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1285]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1585::colb=7::cole=12][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1585]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1599::colb=7::cole=12][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1599]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1610::colb=7::cole=12][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1610]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1631::colb=8::cole=9][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1631]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1668::colb=7::cole=8][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1668]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1685::colb=8::cole=12][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1685]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1734::colb=7::cole=9][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1734]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=1872::colb=8::cole=18][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::1872]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=2310::colb=12::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::2310]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=2320::colb=8::cole=10][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::2320]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=2920::colb=7::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::2920]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=3261::colb=8::cole=24][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::3261]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=3891::colb=7::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::3891]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=3906::colb=7::cole=13][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::3906]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=3921::colb=8::cole=14][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::3921]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=5268::colb=7::cole=14][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::5268]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=5333::colb=7::cole=14][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::5333]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::face=ovl-face1::linb=5338::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/win32.c::5338]] badzero.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/libs/loader/driver.c::face=ovl-face1::linb=98::colb=7::cole=11][ /var/storage/projects/vlc/0.9.8a/libs/loader/driver.c::98]] notand.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/misc/lua/libs/variables.c::face=ovl-face1::linb=240::colb=8::cole=9][ /var/storage/projects/vlc/0.9.8a/modules/misc/lua/libs/variables.c::240]] notnull.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/codec/cmml/xurl.c::face=ovl-face1::linb=243::colb=8::cole=31][ /var/storage/projects/vlc/0.9.8a/modules/codec/cmml/xurl.c::243]] notnull.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/codec/cmml/xurl.c::face=ovl-face2::linb=238::colb=8::cole=31][]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/codec/dvbsub.c::face=ovl-face1::linb=1566::colb=50::cole=58][ /var/storage/projects/vlc/0.9.8a/modules/codec/dvbsub.c::1566]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/video_filter/motiondetect.c::face=ovl-face1::linb=161::colb=28::cole=35][ /var/storage/projects/vlc/0.9.8a/modules/video_filter/motiondetect.c::161]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/misc/notify/xosd.c::face=ovl-face1::linb=249::colb=26::cole=32][ /var/storage/projects/vlc/0.9.8a/modules/misc/notify/xosd.c::249]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/audio_mixer/float32.c::face=ovl-face1::linb=141::colb=26::cole=47][ /var/storage/projects/vlc/0.9.8a/modules/audio_mixer/float32.c::141]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/audio_mixer/trivial.c::face=ovl-face1::linb=97::colb=39::cole=60][ /var/storage/projects/vlc/0.9.8a/modules/audio_mixer/trivial.c::97]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/access/vcdx/vcdplayer.c::face=ovl-face1::linb=375::colb=46::cole=57][ /var/storage/projects/vlc/0.9.8a/modules/access/vcdx/vcdplayer.c::375]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/access/cdda/info.c::face=ovl-face1::linb=833::colb=28::cole=35][ /var/storage/projects/vlc/0.9.8a/modules/access/cdda/info.c::833]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/src/playlist/engine.c::face=ovl-face1::linb=105::colb=39::cole=66][ /var/storage/projects/vlc/0.9.8a/src/playlist/engine.c::105]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/src/playlist/engine.c::face=ovl-face1::linb=118::colb=4::cole=32][ /var/storage/projects/vlc/0.9.8a/src/playlist/engine.c::118]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/src/playlist/engine.c::face=ovl-face1::linb=119::colb=4::cole=32][ /var/storage/projects/vlc/0.9.8a/src/playlist/engine.c::119]] null_ref.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/src/input/input.c::face=ovl-face1::linb=2065::colb=33::cole=40][ /var/storage/projects/vlc/0.9.8a/src/input/input.c::2065]] unused.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/codec/flac.c::face=ovl-face1::linb=976::colb=12::cole=32][ /var/storage/projects/vlc/0.9.8a/modules/codec/flac.c::976]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/codec/flac.c::face=ovl-face2::linb=981::colb=12::cole=32][]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/codec/flac.c::face=ovl-face2::linb=984::colb=12::cole=32][]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/codec/flac.c::face=ovl-face2::linb=987::colb=12::cole=32][]] unused.orig.org:* TODO [[view:/var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::face=ovl-face1::linb=319::colb=8::cole=11][ /var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::319]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::face=ovl-face2::linb=390::colb=16::cole=19][]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::face=ovl-face2::linb=417::colb=16::cole=19][]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::face=ovl-face2::linb=424::colb=16::cole=19][]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::face=ovl-face2::linb=431::colb=16::cole=19][]] unused.orig.org:[[view:/var/storage/projects/vlc/0.9.8a/modules/demux/smf.c::face=ovl-face2::linb=438::colb=16::cole=19][]]
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
