-
Raphaël Rieu-Helft authored
Expressions that are the condition of an if or while can be annotated by "ex:likely" or "ex:unlikely" labels. This is extracted to GCC __builtin_expect calls. As this does not impact correctness, nothing is verified.
0d5e4053