[llvm-bugs] [Bug 42780] New: scan-build does not understand TAILQ_REMOVE from sys/queue.h

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=42780

            Bug ID: 42780
           Summary: scan-build does not understand TAILQ_REMOVE from
                    sys/queue.h
           Product: clang
           Version: 8.0
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: james.r.harris at intel.com
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

Created attachment 22294
  --> https://bugs.llvm.org/attachment.cgi?id=22294&action=edit
Test program to reproduce false positive

scan-build 8.0 has introduced false positives related to TAILQ_REMOVE from
sys/queue.h.  These false positives were not seen with previous versions of
scan-build.  This was found when trying to upgrade scan-build on CI systems for
SPDK (Storage Performance Development Kit).

https://bugs.llvm.org/show_bug.cgi?id=15297 seems to point to the same issue,
but it was marked as resolved and fixed 6 years ago.  This still seems like a
regression since behavior has changed with scan-build 8.0.

See attachment for a test program that reproduces the false positive.

Thanks,

Jim Harris
SPDK Core Maintainer

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190726/df0a099f/attachment.html>