Searched refs:symbolic (Results 1 – 25 of 128) sorted by relevance
123456
| /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 | 301 // PR 4033. A symbolic 'void *' pointer can be used as the address for a
392 // a symbolic region. The second '*__gruep__' involves performing a load
432 // This just tests the proper tracking of symbolic values for globals (both
495 // Do not crash when performing compare and swap on symbolic values.
525 // Reduced from a crash involving the cast of an Objective-C symbolic region to
572 // symbolic value stored in 'x' wouldn't be implicitly casted to a signed value
577 return compare ? 0 : 1; // Forces the evaluation of the symbolic constraint.
719 // Test constant-folding of symbolic values, automatically handling type
876 // Handle casts from symbolic regions (packaged as integers) to doubles.
883 // 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/linux-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
37 Even when an event is not available in a symbolic form within perf right now,
|
| D | perf-top.txt | 40 Select the PMU event. Selection can be a symbolic event name
|
| D | perf-script-perl.txt | 180 strings for flag and symbolic fields. These correspond to the strings
185 …- returns the string represention corresponding to $field_value for the symbolic field $field_name…
|
| /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/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/openssh/ |
| D | sftp.0 | 159 downloading. Note that sftp does not follow symbolic links
222 recursively. Note that sftp does not follow symbolic links when
241 specified the created link is a symbolic link, otherwise it is a
300 recursively. Note that sftp does not follow symbolic links when
317 Create a symbolic link from oldpath to newpath.
|
| /external/libpng/ |
| D | KNOWNBUG | 10 fails to install symbolic links
|
| /external/llvm/test/MC/Mips/ |
| D | nabi-regs.s | 1 # OABI (o32, o64) have a different symbolic register
|
| /external/icu4c/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/skia/src/sfnt/ |
| D | SkIBMFamilyClass.h | 165 } symbolic; member
|
| /external/guava/ |
| D | README.maven | 13 or other Unix platforms which support symbolic linking,
|
| /external/clang/include/clang/Basic/ |
| D | DiagnosticASTKinds.td | 118 "unknown symbolic operand name in inline assembly string">;
121 "unterminated symbolic operand name in inline assembly string">;
123 "empty symbolic operand name in inline assembly string">;
|
| /external/chromium/net/tools/spdyshark/ |
| D | README | 28 4) Make a symbolic link for spdyshark to Wireshark
|
| /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/libpng/scripts/ |
| D | makefile.watcom | 108 test: pngtest.exe .symbolic
|
| /external/grub/ |
| D | AUTHORS | 11 bugs, added symbolic link support to shared_src/fsys_ext2fs.c, and
|
| /external/zlib/src/contrib/delphi/ |
| D | readme.txt | 25 - The new Z_RLE strategy has its corresponding symbolic constant.
|
123456