clang::dataflow::UncheckedOptionalAccessDiagnoser Class Reference

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

Public Member Functions
	UncheckedOptionalAccessDiagnoser (UncheckedOptionalAccessModelOptions Options={})
std::vector< SourceLocation >	diagnose (ASTContext &Ctx, const CFGElement *Elt, const Environment &Env)

Detailed Description

Definition at line 72 of file UncheckedOptionalAccessModel.h.

Constructor & Destructor Documentation

UncheckedOptionalAccessDiagnoser()

clang::dataflow::UncheckedOptionalAccessDiagnoser::UncheckedOptionalAccessDiagnoser

(

UncheckedOptionalAccessModelOptions

Options = {}

)

Definition at line 1003 of file UncheckedOptionalAccessModel.cpp.

Member Function Documentation

diagnose()

std::vector< SourceLocation > clang::dataflow::UncheckedOptionalAccessDiagnoser::diagnose	(	ASTContext &	Ctx,
		const CFGElement *	Elt,
		const Environment &	Env
	)

Definition at line 1007 of file UncheckedOptionalAccessModel.cpp.

References Env.

---

The documentation for this class was generated from the following files:

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