HomeSort by relevance Sort by last modified time
    Searched full:symbolic (Results 201 - 225 of 1075) sorted by null

1 2 3 4 5 6 7 891011>>

  /external/clang/lib/StaticAnalyzer/Core/
MemRegion.cpp 873 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
    [all...]
SimpleSValBuilder.cpp 86 // FIXME: Remove this hack when we support symbolic truncation/extension.
89 // extension/truncation of symbolic integers. This prevents us from losing
90 // precision when we assign 'x = y' and 'y' is symbolic and x and y are
281 // We're looking for a type big enough to compare the symbolic value
430 // LHS is a symbolic expression.
527 // Give up -- this is not a symbolic expression we can handle.
620 // build constraints. The address of any non-symbolic region is guaranteed
651 // build constraints. The address of any non-symbolic region is guaranteed
692 // equal. Also, assume that no symbolic region (whose memory space is
708 // Note, heap base symbolic regions are assumed to not alias wit
    [all...]
ProgramState.cpp 231 // If 'V' is a symbolic value that is *perfectly* constrained to
233 // on later analysis stages (so we have less symbolic values to reason
241 // and truncation of symbolic values, we need to convert
251 // The symbolic value stored to 'x' is actually the conjured
564 // If this is a symbolic region, visit the symbol for the region.
  /external/clang/test/Analysis/
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...]
  /external/e2fsprogs/ext2ed/doc/
ext2fs-overview.sgml 673 <Literal remap="tt">12</Literal> - The file is a <Literal remap="tt">symbolic link</Literal>.
777 described above, to another alias method called <Literal remap="tt">symbolic linking</Literal>,
871 <Title>Symbolic links</Title>
910 <Literal remap="tt">Symbolic link</Literal>, on the other hand, is analyzed at <Literal remap="tt">run time</Literal>. A
911 symbolic link is just a <Literal remap="tt">pathname</Literal> which is accessible from an inode.
913 kernel reaches a symbolic link, it will <Literal remap="tt">follow it in run time</Literal> using
918 As such, symbolic link can be made <Literal remap="tt">across different filesystems</Literal> and a
920 its symbolic links.
925 directory entry. Symbolic link, on the other hand, consumes at least an
930 When the inode is identified as a symbolic link, the kernel needs to fin
    [all...]
  /external/eigen/Eigen/src/PaStiXSupport/
PaStiXSupport.h 164 eigen_assert(m_factorizationIsOk && "The decomposition is not in a valid state for solving, you must first call either compute() or symbolic()/numeric()");
263 // Compute the ordering and the symbolic factorization
483 /** Compute the LU symbolic factorization of \p matrix using its sparsity pattern.
592 /** Compute the LL^T symbolic factorization of \p matrix using its sparsity pattern
673 /** Compute the LDL^T symbolic factorization of \p matrix using its sparsity pattern
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h 41 /// SVal - This represents a symbolic expression, which can be either
158 /// getAsSymbolicExpression - If this Sval wraps a symbolic expression then
304 /// \brief Represents symbolic expression.
ProgramState.h 65 /// 3. Constraints on symbolic values (GenericDataMap)
151 // Each ProgramState records constraints on symbolic values. These constraints
153 // As constraints gradually accrue on symbolic values, added constraints
159 // symbolic values. A call to 'assume' indicates an assumption being placed
160 // on one or symbolic values. 'assume' methods take the following inputs:
201 // Binding and retrieving values to/from the environment and symbolic store.
SValBuilder.h 78 // FIXME: Remove the second disjunct when we support symbolic
110 /// Constructs a symbolic expression for two non-location values.
  /external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 163 /// - the symbolic execution graph is fully explored.
198 /// \brief Handles assumptions on symbolic values.
200 /// This method is called when a symbolic expression is assumed to be true or
ArrayBoundCheckerV2.cpp 75 // FIXME: improve this later by tracking symbolic lower bounds
76 // for symbolic regions.
SimpleStreamChecker.cpp 131 // Get the symbolic value corresponding to the file handle.
155 // Get the symbolic value corresponding to the file handle.
  /external/oprofile/opjitconv/
opjitconv.c 270 /* Check if the dump file is a symbolic link.
271 * We should not trust symbolic links because we only produce normal dump
280 printf("opjitconv: dumpfile path is corrupt (symbolic links not allowed).\n");
  /external/protobuf/src/google/protobuf/compiler/
importer.cc 223 // resolves symbolic links. This could cause problems if people place
224 // symbolic links in their source tree. For example, if you executed:
226 // then if foo/bar is a symbolic link, foo/bar/baz.proto will canonicalize
  /ndk/sources/host-tools/sed-4.2.1/lib/
unistd.in.h 117 to GID (if GID is not -1). Follow symbolic links.
471 to GID (if GID is not -1). Do not follow symbolic links.
523 /* Read the contents of the symbolic link FILE and place the first BUFSIZE
  /prebuilts/gcc/linux-x86/host/i686-linux-glibc2.7-4.4.3/sysroot/usr/include/sys/
stat.h 260 If FILE is a symbolic link, do not follow it. */
281 If FILE is a symbolic link, this affects its target instead. */
287 If FILE is a symbolic link, this affects the link itself
  /prebuilts/gcc/linux-x86/host/i686-linux-glibc2.7-4.6/sysroot/usr/include/sys/
stat.h 260 If FILE is a symbolic link, do not follow it. */
281 If FILE is a symbolic link, this affects its target instead. */
287 If FILE is a symbolic link, this affects the link itself
  /prebuilts/gcc/linux-x86/host/x86_64-linux-glibc2.7-4.6/sysroot/usr/include/sys/
stat.h 260 If FILE is a symbolic link, do not follow it. */
281 If FILE is a symbolic link, this affects its target instead. */
287 If FILE is a symbolic link, this affects the link itself
  /external/ceres-solver/internal/ceres/
suitesparse.cc 122 << "Cholmod symbolic analysis failed " << cc_.status;
146 << "Cholmod symbolic analysis failed " << cc_.status;
visibility_based_preconditioner.h 143 // Initialize the symbolic structure of the preconditioner. bs is
242 // Symbolic and numeric factorization of the preconditioner.
  /external/e2fsprogs/ext2ed/
inode_com.c 252 wprintw (show_win,"Symbolic link. ");
258 wprintw (show_pad,"Slow symbolic link\n");
  /external/linux-tools-perf/Documentation/
perf-script-perl.txt 180 strings for flag and symbolic fields. These correspond to the strings
185 symbol_str($event_name, $field_name, $field_value) - returns the string represention corresponding to $field_value for the symbolic field $field_name of event $event_name
  /external/llvm/examples/ParallelJIT/
ParallelJIT.cpp 53 ArgX->setName("AnArg"); // Give it a nice symbolic name for fun.
83 ArgX->setName("AnArg"); // Give it a nice symbolic name for fun.
  /ndk/build/tools/
download-toolchain-sources.sh 227 # 1. Create symbolic link for clang which is always built
229 # will only create symbolic link when --with-polly is specified.
  /build/core/
pdk_config.mk 112 # Copy with the last-modified time preserved, never follow symbolic links.

Completed in 1500 milliseconds

1 2 3 4 5 6 7 891011>>