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:

• include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h