[LLVMbugs] [Bug 6983] New: False positive

[bugzilla-daemon at llvm.org]

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: kremenek at apple.com
        ReportedBy: amitshah at gmx.net
                CC: llvmbugs at cs.uiuc.edu, amitshah at gmx.net


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.