[llvm-bugs] [Bug 27289] New: llvm/tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1132]: (style) Redundant condition

via llvm-bugs llvm-bugs at lists.llvm.org
Fri Apr 8 09:00:14 PDT 2016


            Bug ID: 27289
           Summary: llvm/tools/clang/lib/StaticAnalyzer/Core/RegionStore.c
                    pp:1132]: (style) Redundant condition
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: dcb314 at hotmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

llvm/tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1132]: (style)
Redundant condition: ROffset. '!A || (A && B)' is equivalent to '!A || B'

Source code is

        if (!ROffset ||
            (ROffset &&
             ((*ROffset >= LowerOffset && *ROffset < UpperOffset) ||
              (UpperOverflow &&
               (*ROffset >= LowerOffset || *ROffset < UpperOffset)) ||
              (LowerOffset == UpperOffset && *ROffset == LowerOffset)))) {

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/20160408/4bcef635/attachment.html>

More information about the llvm-bugs mailing list