| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MallocChecker.cpp | 95 eval::Assume,
182 /// conservatively assume it can free/reallocate it's pointer arguments.
447 state = state->assume(extentMatchesSize, true);
510 llvm::tie(notNullState, nullState) = state->assume(location);
751 llvm::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ);
753 llvm::tie(StateSizeIsZero, StateSizeNotZero) = state->assume(SizeZero);
754 // We only assume exceptional states if they are definitely true; if the
755 // state is under-constrained, assume regular realloc behavior.
[all...] |
| CallAndMessageChecker.cpp | 276 llvm::tie(notNilState, nilState) = state->assume(receiverVal);
372 // it most likely isn't nil. We should assume the semantics
|
| BasicObjCFoundationChecks.cpp | 401 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
|
| /external/jpeg/ |
| ltconfig | 132 --with-gcc assume that the GNU C compiler will be used
133 --with-gnu-ld assume that the C compiler uses the GNU linker
243 # Assume the source directory is the same one as the path to ltmain.sh.
553 # create non-PIC objects. So, if there were any warnings, we assume that
[all...] |
| jmemdosa.asm | 26 assume cs:JMEMDOSA_TXT
|
| /external/libffi/src/mips/ |
| o32.S | 129 # assume that the only other combination must be float then double
138 # If the return value pointer is NULL, assume no return value.
|
| n32.S | 214 # If the return value pointer is NULL, assume no return value.
|
| /external/qemu/distrib/jpeg-6b/ |
| ltconfig | 132 --with-gcc assume that the GNU C compiler will be used
133 --with-gnu-ld assume that the C compiler uses the GNU linker
243 # Assume the source directory is the same one as the path to ltmain.sh.
553 # create non-PIC objects. So, if there were any warnings, we assume that
[all...] |
| jmemdosa.asm | 26 assume cs:JMEMDOSA_TXT
|
| /external/valgrind/main/none/tests/ |
| cmdline1.stdout.exp | 47 --max-stackframe=<number> assume stack switch for SP changes larger
|
| cmdline2.stdout.exp | 47 --max-stackframe=<number> assume stack switch for SP changes larger
|
| /external/libffi/src/alpha/ |
| osf.S | 82 # If the return value pointer is NULL, assume no return value.
|
| /external/libffi/src/sparc/ |
| v8.S | 63 ! If the return value pointer is NULL, assume no return value.
|
| v9.S | 85 ! If the return value pointer is NULL, assume no return value.
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| BugReporterVisitors.cpp | 253 if (PrevN->getState()->assume(Constraint, !Assumption)) {
260 if (N->getState()->assume(Constraint, !Assumption))
385 state = state->assume(*DV, true);
|
| ProgramState.cpp | 341 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption);
|
| /bootable/diskinstaller/ |
| config.mk | 1 # note: requires x86 because we assume grub is the mbr bootloader.
|
| /external/v8/test/mjsunit/ |
| date-parse.js | 131 // I'll assume that we can handle the same formats as for UT and only
|
| /external/antlr/antlr-3.4/runtime/ActionScript/project/src/org/antlr/runtime/ |
| BaseRecognizer.as | 532 * however, then assume LA(1) is some extra spurious token. Delete it
554 * reference in rule atom. It can assume that you forgot the ')'.
622 * the next token in the stream is what we want we assume that
|
| /external/libffi/ |
| ltconfig | 332 --with-gcc assume that the GNU C compiler will be used
333 --with-gnu-ld assume that the C compiler uses the GNU linker
507 # Assume the source directory is the same one as the path to LTMAIN.
674 # We assume here that the value for ac_cv_prog_cc_pic will not be cached
705 # assume that PIC is not supported.
[all...] |
| /external/v8/benchmarks/ |
| earley-boyer.js | [all...] |
| /external/webkit/PerformanceTests/SunSpider/tests/v8-v4/ |
| v8-earley-boyer.js | [all...] |
| /external/webkit/PerformanceTests/SunSpider/tests/v8-v5/ |
| v8-earley-boyer.js | [all...] |
| /external/webkit/PerformanceTests/SunSpider/tests/v8-v6/ |
| v8-earley-boyer.js | [all...] |
| /external/antlr/antlr-3.4/runtime/Ruby/lib/antlr3/ |
| streams.rb | 160 Stream and assume that the object implements the proper stream interface. Thus,
738 # assume this grammar defines whitespace as tokens on channel HIDDEN
[all...] |
