OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
full:nullstate
(Results
1 - 6
of
6
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ObjCAtSyncChecker.cpp
62
const ProgramState *notNullState, *
nullState
;
63
llvm::tie(notNullState,
nullState
) = state->assume(cast<DefinedSVal>(V));
65
if (
nullState
) {
69
if (ExplodedNode *N = C.generateNode(
nullState
)) {
81
// Don't add a transition for '
nullState
'. If the value is
DereferenceChecker.cpp
93
const ProgramState *notNullState, *
nullState
;
94
llvm::tie(notNullState,
nullState
) = state->assume(location);
97
if (
nullState
) {
100
ExplodedNode *N = C.generateSink(
nullState
);
179
if (ExplodedNode *N = C.generateSink(
nullState
)) {
MallocChecker.cpp
286
const ProgramState *notNullState, *
nullState
;
287
llvm::tie(notNullState,
nullState
) = state->assume(location);
290
if (
nullState
&& !notNullState)
291
return
nullState
;
705
const ProgramState *notNullState, *
nullState
;
706
llvm::tie(notNullState,
nullState
) = state->assume(l);
708
// Generate a transition for '
nullState
' to record the assumption
710
if (
nullState
)
711
C.addTransition(
nullState
);
/external/oprofile/libpopt/
poptconfig.c
87
/*@-
nullstate
@*/ /* FIX: item->argv[] may be NULL */
92
/*@=
nullstate
@*/
popt.c
59
/*@-
nullstate
@*/ /* LCL: con->execPath not NULL */
61
/*@=
nullstate
@*/
256
/*@-
nullstate
@*/ /* FIX: con->finalArgv != NULL */
258
/*@=
nullstate
@*/
317
/*@-
nullstate
@*/ /* FIX: con->finalArgv[] == NULL */
319
/*@=
nullstate
@*/
1056
/*@-nullret -
nullstate
@*/ /* FIX: typedef double indirection. */
1058
/*@=nullret =
nullstate
@*/
[
all
...]
/external/qemu/distrib/sdl-1.2.12/src/joystick/darwin/
SDL_sysjoystick.c
66
Boolean
nullState
; /* does element have null state */
274
pElement->
nullState
= CFBooleanGetValue (refType);
Completed in 95 milliseconds