Searched refs:NoopLattice (Results 1 - 4 of 4) sorted by relevance

/openbsd-current/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DNoopLattice.h1 //===-- NoopLattice.h -------------------------------------------*- C++ -*-===//
25 class NoopLattice { class in namespace:clang::dataflow
27 bool operator==(const NoopLattice &Other) const { return true; }
29 LatticeJoinEffect join(const NoopLattice &Other) {
34 inline std::ostream &operator<<(std::ostream &OS, const NoopLattice &) {
H A DNoopAnalysis.h20 #include "clang/Analysis/FlowSensitive/NoopLattice.h"
25 class NoopAnalysis : public DataflowAnalysis<NoopAnalysis, NoopLattice> {
29 : DataflowAnalysis<NoopAnalysis, NoopLattice>(Context,
37 : DataflowAnalysis<NoopAnalysis, NoopLattice>(Context, Options) {}
39 static NoopLattice initialElement() { return {}; }
41 void transfer(const CFGElement *E, NoopLattice &L, Environment &Env) {}
/openbsd-current/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.h22 #include "clang/Analysis/FlowSensitive/NoopLattice.h"
46 : public DataflowAnalysis<UncheckedOptionalAccessModel, NoopLattice> {
53 static NoopLattice initialElement() { return {}; }
55 void transfer(const CFGElement *Elt, NoopLattice &L, Environment &Env);
69 CFGMatchSwitch<TransferState<NoopLattice>> TransferMatchSwitch;
/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp24 #include "clang/Analysis/FlowSensitive/NoopLattice.h"
42 using LatticeTransferState = TransferState<NoopLattice>;
826 : DataflowAnalysis<UncheckedOptionalAccessModel, NoopLattice>(Ctx),
830 NoopLattice &L, Environment &Env) {

Completed in 173 milliseconds