OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
full:evalassume
(Results
1 - 7
of
7
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/
Checker.h
439
return ((const CHECKER *)checker)->
evalAssume
(state, cond, assumption);
/external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp
217
ProgramStateRef
evalAssume
(ProgramStateRef State,
RetainCountChecker.cpp
[
all
...]
MallocChecker.cpp
207
ProgramStateRef
evalAssume
(ProgramStateRef state, SVal Cond,
[
all
...]
/external/clang/test/Analysis/
NSString.m
162
// This exercises the '
EvalAssume
' logic in GRTransferFuncs (CFRefCount.cpp).
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h
276
///
evalAssume
- Callback function invoked by the ConstraintManager when
/external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp
258
///
evalAssume
- Called by ConstraintManager. Used to call checker-specific
[
all
...]
Completed in 240 milliseconds