================
@@ -308,3 +308,22 @@ advantages:
* Performance. A single check can cover many or even all accesses within
scope. This gives the user the best of both worlds -- the safety of a
dynamic check, but without incurring redundant costs.
+
+Options
+-------
+
+.. option:: IgnoreSmartPointerDereference
+
+ If set to ``true`` (default is ``false``), the check ignores optionals that
+ are reached through overloaded smart-pointer-like dereference
(``operator*``,
+ ``operator->``) on classes other than the optional type itself. This helps
+ avoid false positives where the analysis cannot equate results across such
+ calls. Note: This does not cover access through ``operator[]``.
+
+.. option:: IgnoreValueCalls
+
+ If set to ``true`` (default is ``false``), the check does not diagnose calls
----------------
EugeneZelenko wrote:
```suggestion
If set to `true` (default is `false`), the check does not diagnose calls
```
https://github.com/llvm/llvm-project/pull/167209
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
