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