[PATCH] D122908: [clang][dataflow] Add support for clang's `__builtin_expect`.

This revision was automatically updated to reflect the committed changes. Closed by commit rG506ec85ba82a: [clang][dataflow] Add support for clang's `__builtin_expect`. (authored by ymandel). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122908/new/

[PATCH] D122908: [clang][dataflow] Add support for clang's `__builtin_expect`.

ymandel updated this revision to Diff 419804. ymandel added a comment. comment Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122908/new/ https://reviews.llvm.org/D122908 Files: clang/lib/Analysis/FlowSensitive/Transfer.cpp clang/unittests/Anal

[PATCH] D122908: [clang][dataflow] Add support for clang's `__builtin_expect`.

ymandel updated this revision to Diff 419802. ymandel added a comment. add tests for other builtins. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122908/new/ https://reviews.llvm.org/D122908 Files: clang/lib/Analysis/FlowSensitive/Transfer.cpp

[PATCH] D122908: [clang][dataflow] Add support for clang's `__builtin_expect`.

xazax.hun accepted this revision. xazax.hun added a comment. Nice! Speaking of builtins, it might be great to add tests for `__builtin_unreachable`, `__builtin_trap`, `__builtin_debugtrap`. The CFG might already have the right shape so we might not need to add any code to support them. But it

[PATCH] D122908: [clang][dataflow] Add support for clang's `__builtin_expect`.

ymandel created this revision. ymandel added reviewers: sgatev, xazax.hun. Herald added subscribers: tschuett, steakhal, rnkovacs. Herald added a project: All. ymandel requested review of this revision. Herald added a project: clang. This patch adds basic modeling of `__builtin_expect`, just to pr