[llvm-bugs] [Bug 47075] New: then-branch and else-branch of the same if-statement should not be the same.(llvm-project/clang/lib/Basic/Targets/ARM.cpp:line 981<-->988)
via llvm-bugs
llvm-bugs at lists.llvm.org
Sun Aug 9 23:12:50 PDT 2020
https://bugs.llvm.org/show_bug.cgi?id=47075
Bug ID: 47075
Summary: then-branch and else-branch of the same if-statement
should not be the
same.(llvm-project/clang/lib/Basic/Targets/ARM.cpp:lin
e 981<-->988)
Product: clang
Version: trunk
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: P
Component: libclang
Assignee: unassignedclangbugs at nondot.org
Reporter: info at ustchcs.com
CC: klimek at google.com, llvm-bugs at lists.llvm.org,
richard-llvm at metafoo.co.uk
then-branch and else-branch of the same if-statement should not be the same.
commit e3546c78cabfbf670391a57766872f0a8e28a423
llvm-project/clang/lib/Basic/Targets/ARM.cpp:line 981<-->988
979 case 'K':
980 if (isThumb()) {
981 if (!supportsThumb2())
982 // FIXME: should check if immediate value can be obtained from
shifting
983 // a value between 0 and 255 left by any amount
984 Info.setRequiresImmediate();
985 else
986 // FIXME: should check if immediate value would be valid for a
Thumb2
987 // data-processing instruction when inverted
988 Info.setRequiresImmediate();
989 } else
990 // FIXME: should check if immediate value would be valid for an
ARM
991 // data-processing instruction when inverted
992 Info.setRequiresImmediate();
993 return true;
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/20200810/6e3cd02c/attachment.html>
More information about the llvm-bugs
mailing list