[DFSan] Remove an overly aggressive assert reported in PR26068.
authorChandler Carruth <chandlerc@gmail.com>
Mon, 7 Mar 2016 14:05:09 +0000 (14:05 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Mon, 7 Mar 2016 14:05:09 +0000 (14:05 +0000)
commit9ca96384f34c6dd3c63be5482616e50500fb1f43
tree8a6a87d95b645c7edd49db2fab2801a5f1339e12
parent3e7cafe26710ebd42d2007eec29edb3293f347b0
[DFSan] Remove an overly aggressive assert reported in PR26068.

This code has been successfully used to bootstrap libc++ in a no-asserts
mode for a very long time, so the code that follows cannot be completely
incorrect. I've added a test that shows the current behavior for this
kind of code with DFSan. If it is desirable for DFSan to do something
special when processing an invoke of a variadic function, it can be
added, but we shouldn't keep an assert that we've been ignoring due to
release builds anyways.

llvm-svn: 262829
llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
llvm/test/Instrumentation/DataFlowSanitizer/call.ll