[PATCH] D33349: [dfsan] Add explicit zero extensions for shadow parameters in function wrappers.

[Simon Dardis via Phabricator via llvm-commits]

sdardis updated this revision to Diff 99946.
sdardis added a comment.

Add test case, change logic for add zext attributes so that all shadow parameters are covered, not just the first.


https://reviews.llvm.org/D33349

Files:
  lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
  test/Instrumentation/DataFlowSanitizer/Inputs/shadow-args-abilist.txt
  test/Instrumentation/DataFlowSanitizer/abilist.ll
  test/Instrumentation/DataFlowSanitizer/shadow-args-zext.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33349.99946.patch
Type: text/x-patch
Size: 10957 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170523/ee61e257/attachment.bin>