Searched refs:symbolic (Results 1 – 25 of 256) sorted by relevance
1234567891011
| /external/libvncserver/VisualNaCro/ |
| D | recorder.pl | 11 $symbolic=0;
19 "symbolic" => \$symbolic,
35 if ($symbolic) {
37 $symbolic=0 if $@;
73 if ($symbolic) {
116 return $text . " are recorded " . ($symbolic ? "symbolically"
148 if ($symbolic and exists $sym_name{$keysym}) {
|
| D | NEWS | 7 Keys are recorded by their symbols with the --symbolic switch, provided you
|
| /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/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/linux-tools-perf/src/tools/perf/Documentation/ |
| D | perf-list.txt | 6 perf-list - List all symbolic event types
15 This command displays the symbolic event types which can be selected in the
60 Even when an event is not available in a symbolic form within perf right now,
|
| /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/Feature/ |
| D | basictest.ll | 5 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
|
| /external/llvm/test/Integer/ |
| D | basictest_bt.ll | 6 ; 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/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/openssh/ |
| D | sftp.0 | 178 downloading. Note that sftp does not follow symbolic links
250 recursively. Note that sftp does not follow symbolic links when
269 specified the created link is a symbolic link, otherwise it is a
339 recursively. Note that sftp does not follow symbolic links when
364 Create a symbolic link from oldpath to newpath.
|
| /external/guava/ |
| D | README.maven | 13 or other Unix platforms which support symbolic linking,
|
| /external/llvm/docs/ |
| D | Lexicon.rst | 24 compiler's first complete symbolic (as opposed to textual)
27 (consider the symbolic representation for the type of a typical "linked
|
| /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.
|
1234567891011