clang 20.0.0git
Public Attributes | List of all members
clang::dataflow::UncheckedOptionalAccessModelOptions Struct Reference

#include "clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h"

Public Attributes

bool IgnoreSmartPointerDereference = false
 In generating diagnostics, ignore optionals reachable through overloaded operator* or operator-> (other than those of the optional type itself).
 

Detailed Description

Definition at line 32 of file UncheckedOptionalAccessModel.h.

Member Data Documentation

◆ IgnoreSmartPointerDereference

bool clang::dataflow::UncheckedOptionalAccessModelOptions::IgnoreSmartPointerDereference = false

In generating diagnostics, ignore optionals reachable through overloaded operator* or operator-> (other than those of the optional type itself).

The analysis does not equate the results of such calls, so it can't identify when their results are used safely (across calls), resulting in false positives in all such cases. Note: this option does not cover access through operator[].

Definition at line 39 of file UncheckedOptionalAccessModel.h.


The documentation for this struct was generated from the following file: