================
@@ -71,3 +71,15 @@ Options
Comma separated list containing type names which are not counted as thrown
exceptions in the check. Default value is an empty string.
+
+.. option:: KnownUnannotatedAsThrowing
+
+ When `true`, treat calls to functions with visible definitions that are not
+ explicitly declared as non-throwing (i.e. lack ``noexcept`` or ``throw()``)
+ as potentially throwing, even if their bodies are visible and no explicit
+ throw is found. Default value is `false`.
+
+.. option:: UnknownAsThrowing
+
+ When `true`, treat calls to functions without visible definitions as
+ potentially throwing. Default value is `false`.
----------------
vbvictor wrote:
I think instead of 2 options we should make 1 option with 3 different levels:
Option - `TreatFunctionsWithoutSpecificationAsThrowing`
Levels: `All`, `OnlyUndefined`, `None`.
Because i don't see a good usecase when we want to set
`KnownUnannotatedAsThrowing` to true but `UnknownAsThrowing` to false.
Also, new logic involving
WDYT?
CC @firewave.
https://github.com/llvm/llvm-project/pull/168324
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
