[llvm-bugs] [Bug 46963] New: Then-branch and else-branch of the same if-statement should not be the same.（llvm-project/clang/lib/Analysis/ThreadSafety.cpp:2042）

[via llvm-bugs]

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

            Bug ID: 46963
           Summary: Then-branch and else-branch of the same if-statement
                    should not be the
                    same.（llvm-project/clang/lib/Analysis/ThreadSafety.cpp
                    :2042）
           Product: libraries
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Backend: X86
          Assignee: unassignedbugs at nondot.org
          Reporter: info at ustchcs.com
                CC: craig.topper at gmail.com, llvm-bugs at lists.llvm.org,
                    llvm-dev at redking.me.uk, spatel+llvm at rotateright.com

Then-branch and else-branch of the same if-statement should not be the same.

Same then- and else-statements are found on line 2040 and 2042. Same problem is
found on line 2045 and 2047.

commit e3546c78cabfbf670391a57766872f0a8e28a423

  2037      if (ME && MD) {
  2038        if (ME->isArrow()) {
  2039          if (MD->isConst())
  2040            checkPtAccess(CE->getImplicitObjectArgument(), AK_Read);
  2041          else // FIXME -- should be AK_Written
  2042            checkPtAccess(CE->getImplicitObjectArgument(), AK_Read);
  2043        } else {
  2044          if (MD->isConst())
  2045            checkAccess(CE->getImplicitObjectArgument(), AK_Read);
  2046          else     // FIXME -- should be AK_Written
  2047            checkAccess(CE->getImplicitObjectArgument(), AK_Read);
  2048        }
  2049      }

Reported by: Ustchcs Toolsets Bugfinder
(bugfinder-2.1: Then-branch and else-branch of the same if-statement should not
be the same.)

-- 
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/20200803/37203956/attachment.html>