[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
https://llvm.org/bugs/show_bug.cgi?id=27289
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