diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2018-01-05 07:57:12 +0000 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2018-01-05 07:57:12 +0000 |
| commit | 8c85bca5a5db8e84891d1cc849efb0773bddf71c (patch) | |
| tree | d3329e66a9b3bada9a82f26feec91f8bdbb6158f /llvm/lib/Support | |
| parent | 5d4a74a320f46f069f2e0cc4b54fa28a2e0c0d99 (diff) | |
| download | bcm5719-llvm-8c85bca5a5db8e84891d1cc849efb0773bddf71c.tar.gz bcm5719-llvm-8c85bca5a5db8e84891d1cc849efb0773bddf71c.zip | |
No -fsanitize=function warning when calling noexcept function through non-noexcept pointer in C++17
As discussed in the mail thread <https://groups.google.com/a/isocpp.org/forum/
#!topic/std-discussion/T64_dW3WKUk> "Calling noexcept function throug non-
noexcept pointer is undefined behavior?", such a call should not be UB.
However, Clang currently warns about it.
This change removes exception specifications from the function types recorded
for -fsanitize=function, both in the functions themselves and at the call sites.
That means that calling a non-noexcept function through a noexcept pointer will
also not be flagged as UB. In the review of this change, that was deemed
acceptable, at least for now. (See the "TODO" in compiler-rt
test/ubsan/TestCases/TypeCheck/Function/function.cpp.)
To remove exception specifications from types, the existing internal
ASTContext::getFunctionTypeWithExceptionSpec was made public, and some places
otherwise unrelated to this change have been adapted to call it, too.
This is the cfe part of a patch covering both cfe and compiler-rt.
Differential Revision: https://reviews.llvm.org/D40720
llvm-svn: 321859
Diffstat (limited to 'llvm/lib/Support')
0 files changed, 0 insertions, 0 deletions

