| /openbsd/gnu/llvm/clang/lib/Analysis/ |
| H A D | ThreadSafetyLogical.cpp | 24 return implies(A->left(), LNeg, RHS, RNeg) && in implies()
25 implies(A->right(), LNeg, RHS, RNeg); in implies()
28 return implies(LHS, LNeg, A->left(), RNeg) && in implies()
29 implies(LHS, LNeg, A->right(), RNeg); in implies()
34 return implies(A->left(), LNeg, RHS, RNeg) || in implies()
35 implies(A->right(), LNeg, RHS, RNeg); in implies()
38 return implies(LHS, LNeg, A->left(), RNeg) || in implies()
39 implies(LHS, LNeg, A->right(), RNeg); in implies()
61 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); in implies()
105 bool implies(const LExpr *LHS, const LExpr *RHS) { in implies() function
[all …]
|
| /openbsd/gnu/llvm/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyLogical.h | 33 inline bool implies(const LExpr *RHS) const;
96 bool implies(const LExpr *LHS, const LExpr *RHS);
98 bool LExpr::implies(const LExpr *RHS) const { in implies() function
99 return lexpr::implies(this, RHS); in implies()
|
| /openbsd/gnu/gcc/gcc/config/h8300/ |
| H A D | t-rtems | 3 # -mn is not applicable to RTEMS (-mn implies 16bit void*)
|
| /openbsd/gnu/usr.bin/gcc/gcc/config/h8300/ |
| H A D | t-rtems | 3 # -mn is not applicable to RTEMS (-mn implies 16bit void*)
|
| /openbsd/gnu/usr.bin/perl/ |
| H A D | asan_ignore | 15 # errors (i.e. the integer overflow ones). The manual implies that you can
|
| /openbsd/gnu/usr.bin/perl/t/lib/warnings/ |
| H A D | perlio | 8 Setting cnt to %d, ptr implies %d
|
| /openbsd/gnu/gcc/gcc/config/rs6000/ |
| H A D | t-rtems | 34 # Soft-float only, default implies msoft-float
|
| /openbsd/gnu/usr.bin/gcc/gcc/config/rs6000/ |
| H A D | t-rtems | 42 # Soft-float only, default implies msoft-float
|
| /openbsd/gnu/llvm/llvm/docs/CommandGuide/ |
| H A D | llvm-otool.rst | 116 Symbolize disassembled operands (implies :option:`-v`).
|
| /openbsd/gnu/usr.bin/binutils/gas/doc/ |
| H A D | c-vax.texi | 105 described above. A value of zero (@samp{-h0}) implies names should be
107 implies names should be all lower case, with no case hack. A value of 3
108 (@samp{-h3}) implies that case should be preserved. The value 1 is
|
| /openbsd/gnu/usr.bin/binutils-2.17/gas/doc/ |
| H A D | c-vax.texi | 105 described above. A value of zero (@samp{-h0}) implies names should be
107 implies names should be all lower case, with no case hack. A value of 3
108 (@samp{-h3}) implies that case should be preserved. The value 1 is
|
| /openbsd/gnu/llvm/llvm/tools/llvm-objdump/ |
| H A D | OtoolOpts.td | 36 HelpText<"symbolize disassembled operands (implies -v)">;
|
| /openbsd/gnu/usr.sbin/mkhybrid/src/ |
| H A D | README.hfs_boot | 51 The -boot-hfs-file implies the -hfs option.
|
| /openbsd/usr.bin/sed/ |
| H A D | POSIX | 66 specification for ! implies that "3!/hello/p" works, and it never
153 17. POSIX specifies that an address can be "empty". This implies
|
| /openbsd/gnu/usr.bin/gcc/gcc/doc/ |
| H A D | cppenv.texi | 74 except that system header files are not ignored, so it implies
|
| /openbsd/gnu/gcc/gcc/doc/ |
| H A D | cppenv.texi | 74 except that system header files are not ignored, so it implies
|
| /openbsd/gnu/llvm/llvm/docs/ |
| H A D | MemorySSA.rst | 56 version is based on. This implies that there is a *single*
68 ``b`` *or* both. This in turn implies that without the use of `The walker`_,
89 run on, and implies that we've hit the top of the function. It's the only
91 ``liveOnEntry`` implies that the memory being used is either undefined or
|
| /openbsd/gnu/llvm/llvm/include/llvm/Analysis/ |
| H A D | ScalarEvolution.h | 248 virtual bool implies(const SCEVPredicate *N) const = 0;
293 bool implies(const SCEVPredicate *N) const override;
400 bool implies(const SCEVPredicate *N) const override;
436 bool implies(const SCEVPredicate *N) const override;
|
| /openbsd/gnu/llvm/llvm/include/llvm/Frontend/Directive/ |
| H A D | DirectiveBase.td | 140 // required implies allowed, the same clause cannot appear in both the
|
| /openbsd/gnu/lib/libstdc++/libstdc++/docs/html/27_io/ |
| H A D | binary_iostreams_kuehl.txt | 28 however, implies inefficient implementations on platforms where the
|
| /openbsd/gnu/gcc/libstdc++-v3/docs/html/27_io/ |
| H A D | binary_iostreams_kuehl.txt | 28 however, implies inefficient implementations on platforms where the
|
| /openbsd/sbin/init/ |
| H A D | NOTES | 58 do this -- seems reasonable. B.4.3.2 p 248 implies that this is the
|
| /openbsd/gnu/llvm/llvm/include/llvm/Option/ |
| H A D | OptParser.td | 158 // Mixin that implies the specified value for the current option when any of the
|
| /openbsd/gnu/llvm/clang/docs/ |
| H A D | DriverInternals.rst | 86 Darwin, this implies that the Clang driver also subsumes the gcc
88 images (binaries and object files). This also implies that the driver
|
| /openbsd/gnu/usr.bin/binutils/gdb/doc/ |
| H A D | LRS | 194 This design implies that the debugger will keep a chain of aliases for
|