Skip to content

Commit 2ecfe6f

Browse files
committed
CHB:ARM: no explicit control-flow indication for predicated test instructions
1 parent c84f9d9 commit 2ecfe6f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CodeHawk/CHB/bchlibarm32/bCHARMAnalysisResults.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -76,6 +76,7 @@ object (self)
7676
instr#has_opcode_condition
7777
&& (match instr#get_opcode with
7878
| Branch _ | BranchExchange _ -> false
79+
| Compare _ | CompareNegative _ -> false
7980
| _ -> true)
8081
&& (Option.is_none instr#is_in_aggregate) in
8182
begin

0 commit comments

Comments
 (0)