SimpleStreamChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include <utility>

Go to the source code of this file.

Functions
static bool	isLeaked (SymbolRef Sym, const StreamState &SS, bool IsSymDead, ProgramStateRef State)

Function Documentation

isLeaked()

static bool isLeaked ( SymbolRef  Sym, const StreamState &  SS, bool  IsSymDead, ProgramStateRef  State  )

static

Definition at line 132 of file SimpleStreamChecker.cpp.

References clang::ento::ConditionTruthVal::isConstrainedTrue(), and clang::ento::ConstraintManager::isNull().