hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Handle 'unlikely' in IRGuards.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-05-21 16:30:57 +01:00
parent 000a81fd29
commit 9c98652116
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
View File

@@ -762,6 +762,12 @@ private predicate compares_eq(
exists(AbstractValue dual | value = dual.getDualValue() |
compares_eq(test.(LogicalNotInstruction).getUnary(), left, right, k, areEqual, dual)
)
or
exists(CallInstruction call |
test = call and
call.getStaticCallTarget().hasName("__builtin_expect") and
compares_eq(call.getArgument(0).(ConvertInstruction).getUnary(), left, right, k, areEqual, value)
)
}
/**
@@ -831,6 +837,13 @@ private predicate unary_compares_eq(
int_value(const) = k1 and
k = k1 + k2
)
or
exists(CallInstruction call, Instruction arg |
test = call and
call.getStaticCallTarget().hasName("__builtin_expect") and
arg = call.getArgument(0) and
unary_compares_eq(arg.(ConvertInstruction).getUnary(), op, k, areEqual, inNonZeroCase, value)
)
}
/** Rearrange various simple comparisons into `left == right + k` form. */