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)


Bugzilla Link	PR47075
Status	NEW
Importance	P normal
Reported by	Ustchcs_Bugfinder (info@ustchcs.com)
Reported on	2020-08-09 23:12:50 -0700
Last modified on	2020-08-09 23:56:22 -0700
Version	trunk
Hardware	All All
CC	efriedma@quicinc.com, klimek@google.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk, smithp352@googlemail.com, Ties.Stuij@arm.com
Fixed by commit(s)
Attachments
Blocks
Blocked by
See also

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.)

Quuxplusone / LLVMBugzillaTest

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) #46044