Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-02-12 04:43:48 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Suppress nothrow/exception spec conflict warning when ES is parsed.

Browse Source 
The previously added warning ended up causing false positives when
nothrow was used on member functions, where the exception specification
wasn't yet parsed.  So, throw() and noexcept(true) both were incorrectly
warning.  There doesn't seem to be a good way to force these to be parsed
to identify which they are (and likely should not be), so suppress the warning.

For now, unevaluated/uninstantiated are left as warnings as I am not
creative enough to find a reproducer that causes a false positive for
either.

llvm-svn: 362236
This commit is contained in:
Erich Keane 2019-05-31 15:56:27 +00:00
parent 7477fcd93a
commit 24016eb374
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/Sema/SemaType.cpp
View File

@ -6976,7 +6976,10 @@ static bool handleFunctionTypeAttr(TypeProcessingState &state, ParsedAttr &attr,
case EST_BasicNoexcept:
case EST_NoexceptTrue:
case EST_NoThrow:
case EST_Unparsed:
// Exception spec doesn't conflict with nothrow, so don't warn.
// Unparsed is included in this, since method signatures aren't parsed
// until after the fact.
break;
case EST_Dynamic:
@ -6985,7 +6988,6 @@ static bool handleFunctionTypeAttr(TypeProcessingState &state, ParsedAttr &attr,
case EST_DependentNoexcept:
case EST_Unevaluated:
case EST_Uninstantiated:
case EST_Unparsed:
S.Diag(attr.getLoc(), diag::warn_nothrow_attribute_ignored);
break;
}

13
clang/test/SemaCXX/nothrow-vs-exception-specs.cpp
View File

@ -53,3 +53,16 @@ __declspec(nothrow) void foo4() noexcept(noexcept(foo1()));
__declspec(nothrow) void foo5() noexcept(noexcept(foo2()));
// expected-warning@+1{{'nothrow' attribute conflicts with exception specification; attribute ignored}}
__declspec(nothrow) void foo6() noexcept(noexcept(foo3()));
// FIXME: It would be nice to be able to warn on these, however at the time we
// evaluate the nothrow, these have yet to be parsed, so the data is not yet
// there.
struct S {
__declspec(nothrow) void f1();
#ifndef CPP17
__declspec(nothrow) void f2() throw();
__declspec(nothrow) void f3() throw(int);
#endif
__declspec(nothrow) void f4() noexcept(true);
__declspec(nothrow) void f5() noexcept(false);
};