OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:stateTrue
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
BasicObjCFoundationChecks.cpp
400
ProgramStateRef
stateTrue
, stateFalse;
401
llvm::tie(
stateTrue
, stateFalse) = state->assume(ArgIsNull);
403
if (
stateTrue
&& !stateFalse) {
404
ExplodedNode *N = C.generateSink(
stateTrue
);
CStringChecker.cpp
433
ProgramStateRef
stateTrue
, stateFalse;
450
llvm::tie(
stateTrue
, stateFalse) =
453
if (
stateTrue
&& !stateFalse) {
455
emitOverlapBug(C,
stateTrue
, First, Second);
471
llvm::tie(
stateTrue
, stateFalse) = state->assume(*reverseTest);
472
if (
stateTrue
) {
519
llvm::tie(
stateTrue
, stateFalse) = state->assume(*OverlapTest);
521
if (
stateTrue
&& !stateFalse) {
523
emitOverlapBug(C,
stateTrue
, First, Second);
[
all
...]
Completed in 1159 milliseconds