[PATCH] D37937: Introduce the llvm-cfi-verify tool.

[Mitch Phillips via Phabricator via llvm-commits]

hctim added inline comments.


================
Comment at: docs/CFIVerify.rst:65
+target instruction is branched-to, the fallthrough of the branch should be the
+CFI trap (on x86, this is a ``ud2`` instruction). If the target instruction is
+the fallthrough (i.e. immediately succeeds) of a conditional jump, the
----------------
kcc wrote:
> I thought the call should always be fallthrough. Did you see the opposite case? 
Fallthrough-to-ud2 is currently present. Will write some code to evaluate this case and provide report.


https://reviews.llvm.org/D37937