class UncheckedOptionalAccessDiagnoser

Declaration

class UncheckedOptionalAccessDiagnoser { /* full declaration omitted */ };

Declared at: clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h:69

Member Variables

private MatchSwitch<const clang::dataflow::Environment, std::vector<SourceLocation>> DiagnoseMatchSwitch

Method Overview

• public UncheckedOptionalAccessDiagnoser(clang::dataflow::UncheckedOptionalAccessModelOptions Options = {})
• public std::vector<SourceLocation> diagnose(clang::ASTContext & Context, const clang::Stmt * Stmt, const clang::dataflow::Environment & Env)

Methods

¶UncheckedOptionalAccessDiagnoser(
    clang::dataflow::
        UncheckedOptionalAccessModelOptions
            Options = {})

Declared at: clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h:71

Parameters

clang::dataflow:: UncheckedOptionalAccessModelOptions Options = {}

¶std::vector<SourceLocation> diagnose(
    clang::ASTContext& Context,
    const clang::Stmt* Stmt,
    const clang::dataflow::Environment& Env)

Declared at: clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h:74

Parameters

clang::ASTContext& Context

const clang::Stmt* Stmt

const clang::dataflow::Environment& Env