[llvm-bugs] [Bug 51358] New: Obvious false positive: bleft>0, bleft<=7; scan-build reports (32 - bleft) < 0

[via llvm-bugs]

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

            Bug ID: 51358
           Summary: Obvious false positive: bleft>0, bleft<=7; scan-build
                    reports (32 - bleft) < 0
           Product: clang
           Version: 11.0
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: vpodobaev at mail.ru
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

Created attachment 25107
  --> https://bugs.llvm.org/attachment.cgi?id=25107&action=edit
false positive report

Hello.

I'm using scan-build-11 from clang-tools-11 1:11.0.1-2~bpo10+1 (Debian 10).

Attaching the false positive report.

Line 1519: Checking that bleft > 0.
Line 1524: Checking that bleft <= 7.

Line 1527: 1 << (32 - bleft)
scan-build reports that (32 - bleft) is negative. But it cannot be negative,
because bleft=[1..7].

Best regards, Vladimir

-- 
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/20210805/12bdf150/attachment.html>