Searched refs:symbolic (Results 1 – 25 of 269) sorted by relevance
1234567891011
| /external/clang/test/Analysis/ |
| D | misc-ps-eager-assume.m | 30 // the symbolic expression is stored to 'y' (which is a short instead of an
32 // symbolic expression is literally the branch condition.
35 // The cast to 'short' causes us to lose symbolic constraint.
49 // a symbolic value for this variable, but in the branch condition it is
51 // promotions of symbolic values, so this test case tests the logic in
69 // In this test case, the double '!' works fine with our symbolic constraints,
86 // This false positive occurred because the symbolic constraint on a short was
|
| D | misc-ps.m | 288 // PR 4033. A symbolic 'void *' pointer can be used as the address for a
379 // a symbolic region. The second '*__gruep__' involves performing a load
419 // This just tests the proper tracking of symbolic values for globals (both
482 // Do not crash when performing compare and swap on symbolic values.
512 // Reduced from a crash involving the cast of an Objective-C symbolic region to
559 // symbolic value stored in 'x' wouldn't be implicitly casted to a signed value
564 return compare ? 0 : 1; // Forces the evaluation of the symbolic constraint.
706 // Test constant-folding of symbolic values, automatically handling type
863 // Handle casts from symbolic regions (packaged as integers) to doubles.
870 // foo_rev95119() returns a symbolic pointer. It is then
[all …]
|
| D | misc-ps-region-store.m | 85 // the value pointed to by 'x' and thus creates different symbolic values
98 // NULL dereferences which are pruned out by RegionStore's symbolic reasoning
216 // <rdar://problem/7249340> - Allow binding of values to symbolic regions.
231 // array values and that we handle symbolic values that are casted
292 // had a bug that caused 'x' to lose its default symbolic value after the
449 // Exercise creating ElementRegion with symbolic super region.
1009 // PR 6854 - crash when casting symbolic memory address to a float
1010 // Handle casting from a symbolic region to a 'float'. This isn't
1019 // <rdar://problem/8032791> False positive due to symbolic store not find
1099 // symbolic index
[all …]
|
| /external/autotest/client/site_tests/security_ChromiumOSLSM/ |
| D | control | 9 - A mount operation can be specified using a symbolic mount path"
24 - Mount: Test that specifying a mount path containing a symbolic link will fail
|
| /external/llvm/test/Transforms/LoopVectorize/ |
| D | version-mem-access.ll | 5 ; Check that we version this loop with speculating the value 1 for symbolic
6 ; strides. This also checks that the symbolic stride information is correctly
59 ; replacing the symbolic stride '%conv'.
|
| /external/clang/docs/analyzer/ |
| D | RegionStore.txt | 14 Regions that do not have a known offset use a special "symbolic" offset. These
24 Supporting both concrete and symbolic offsets makes things a bit tricky. Here's
33 symbolic offset invalidates the entire concrete offset region.* We know
44 concrete offset invalidates any symbolic offset bindings whose concrete offset
74 variable. Thus it is not valid to assume that all bindings with non-symbolic
115 appropriate default value for the region (usually a symbolic value, but
|
| /external/chromium-trace/catapult/telemetry/third_party/modulegraph/doc/ |
| D | zipio.rst | 49 Returns true if *path* exists and refers to a symbolic link.
58 Returns the contents of a symbolic link, like :func:`os.readlink`.
|
| /external/icu/icu4c/packaging/ |
| D | PACKAGES | 90 - All the shared libraries, and their major number symbolic link, but
91 not the .so symbolic link that is only used at link time (this one is
128 - The .so symbolic links used by the linker to link against the
138 version, since it provides .so symbolic links to the latest libraries.
|
| /external/iptables/extensions/ |
| D | libxt_TCPOPTSTRIP.man | 6 by symbolic name. The list of recognized options can be obtained by calling
|
| D | libxt_tos.man | 10 You can specify a symbolic name when using the tos match for IPv4. The list of
|
| D | libxt_TOS.man | 11 You can specify a symbolic name when using the TOS target for IPv4. It implies
|
| /external/llvm/test/Integer/ |
| D | basictest_bt.ll | 6 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
|
| /external/llvm/test/Feature/ |
| D | basictest.ll | 5 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
|
| /external/icu/icu4c/source/config/ |
| D | mh-hpux-acc | 70 ## Use linker option -Wl,-B,symbolic instead.
74 LD_SOOPTIONS= -Wl,-B,symbolic
|
| D | mh-solaris | 90 BIR_LDFLAGS= -Wl,-M,$(NAME).map -Wl,-B,symbolic -Wl,-B,eliminate
|
| /external/libpng/projects/owatcom/ |
| D | pngconfig.mak | 102 defaults: .symbolic
152 clean:: .symbolic
159 distclean:: clean .symbolic
|
| /external/llvm/test/tools/llvm-objdump/X86/ |
| D | macho-symbolized-disassembly.test | 10 // RUN: llvm-objdump -d -m -no-show-raw-insn -full-leading-addr -print-imm-hex -no-symbolic-operand…
11 // RUN: llvm-objdump -d -m -no-show-raw-insn -full-leading-addr -print-imm-hex -no-symbolic-operand…
|
| /external/opencv3/doc/tutorials/introduction/ios_install/ |
| D | ios_install.markdown | 24 -# Make symbolic link for Xcode to let OpenCV build scripts find the compiler, header files etc.
|
| /external/llvm/test/MC/Mips/ |
| D | nabi-regs.s | 1 # OABI (o32, o64) have a different symbolic register
|
| /external/skia/src/sfnt/ |
| D | SkIBMFamilyClass.h | 165 } symbolic; member
|
| /external/guava/ |
| D | README.maven | 13 or other Unix platforms which support symbolic linking,
|
| /external/llvm/test/CodeGen/SystemZ/ |
| D | la-03.ll | 1 ; Test loads of symbolic addresses in PIC code.
|
| D | la-02.ll | 1 ; Test loads of symbolic addresses when generating medium- and
|
| D | la-01.ll | 1 ; Test loads of symbolic addresses when generating small-model non-PIC.
|
| /external/clang/include/clang/Basic/ |
| D | DiagnosticASTKinds.td | 161 "unknown symbolic operand name in inline assembly string">;
164 "unterminated symbolic operand name in inline assembly string">;
166 "empty symbolic operand name in inline assembly string">;
|
1234567891011