http://llvm.org/bugs/show_bug.cgi?id=6983
Summary: False positive
Product: clang
Version: 2.6
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected]
clang-2.6-0.5.pre1.fc12.x86_64
http://amitshah.fedorapeople.org/clang-output/2010-04-30-1/report-uvVsds.html#EndPath
The snippet is below.
114 static void do_flush_queued_data(VirtIOSerialPort *port, VirtQueue *vq,
115 VirtIODevice *vdev, bool_Bool discard)
116 {
117 VirtQueueElement elem;
118
119 assert(port || discard)((port || discard) ? (void) (0) : __assert_fail
("port || discard"
, "/home/amit/src/qemu/hw/virtio-serial-bus.c", 119, __PRETTY_FUNCTION__
));
1
Within the expansion of the macro 'assert':
a
Assuming pointer value is null
120
121 while ((discard || !port->throttled) && virtqueue_pop(vq, &elem)) {
2
Dereference of null pointer
122 uint8_t *buf;
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
