[cfe-dev] Adding CFI checks to clang vs llvm

[Peter Collingbourne]

Hi,

In http://reviews.llvm.org/D7424 we've been discussing whether to insert
control flow integrity checks in Clang or LLVM. The main challenge is that
the checks need something like a string associated with each call, and
there's currently no stable way to ensure that the string stays with the call.

The current version of the patch does the checks with an intrinsic, but
there's a concern that this may interfere with devirtualization.

Does anyone have any opinions besides what's been discussed on the review
thread?

Thanks,
-- 
Peter