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

[Kostya Serebryany via Phabricator via llvm-commits]

kcc 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
----------------
I thought the call should always be fallthrough. Did you see the opposite case? 


https://reviews.llvm.org/D37937