[PATCH] D39820: [cfi-verify] Validate there are no spills between CFI-check and instruction execution.

[Mitch Phillips via Phabricator via llvm-commits]

hctim created this revision.

This patch adds another failure mode for `validateCFIProtection(..)`, wherein any register that affects the indirect control flow instruction is spilled to between the CFI-check and the instruction's execution.


https://reviews.llvm.org/D39820

Files:
  tools/llvm-cfi-verify/lib/FileAnalysis.cpp
  tools/llvm-cfi-verify/lib/FileAnalysis.h
  tools/llvm-cfi-verify/lib/GraphBuilder.cpp
  tools/llvm-cfi-verify/lib/GraphBuilder.h
  unittests/tools/llvm-cfi-verify/FileAnalysis.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39820.122165.patch
Type: text/x-patch
Size: 6436 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171108/44a1c5d4/attachment.bin>