Searched full:contradiction (Results 1 – 25 of 26) sorted by relevance
12
| /freebsd-head/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| HD | SimplifyConstraints.cpp | 77 auto contradiction = [&]() { in simplifyConstraints() local
119 contradiction(); in simplifyConstraints()
137 contradiction(); in simplifyConstraints()
|
| HD | CNFFormula.cpp | 27 /// may in turn yield more unit clauses or even a contradiction.
87 /// Returns true if we observed a contradiction while adding clauses.
|
| /freebsd-head/contrib/llvm-project/llvm/lib/Target/Hexagon/MCTargetDesc/ |
| HD | HexagonMCExpr.cpp | 86 assert((!Val || !MustNotExtend) && "Extension contradiction"); in setMustExtend()
92 assert((!Val || !MustExtend) && "Extension contradiction"); in setMustNotExtend()
|
| /freebsd-head/share/man/man4/ |
| HD | mac_do.4 | 111 apply and the principle of non-redundancy and non-contradiction in each rule's
240 .Ss Non-Redundancy and Non-Contradiction in a Ao to Ac Part
|
| /freebsd-head/contrib/tzcode/ |
| HD | newctime.3 | 91 Some implementations support leap seconds, in contradiction to POSIX.
|
| /freebsd-head/sys/contrib/device-tree/Bindings/net/ |
| HD | ethernet-controller.yaml | 40 maximum frame size (there\'s contradiction in the Devicetree
|
| /freebsd-head/contrib/llvm-project/llvm/utils/TableGen/Common/ |
| HD | CodeGenDAGPatterns.h | 407 /// change, false otherwise. If a type contradiction is found, an error
475 /// true if it makes a change, false otherwise. If a type contradiction is
833 /// change, false otherwise. If a type contradiction is found, flag an error.
961 /// otherwise. Bail out if a type contradiction is found.
|
| HD | CodeGenDAGPatterns.cpp | 375 TP.error("Type contradiction"); in MergeInTypeInfo()
871 "possible type contradiction in the pattern below " in ~ValidateOnExit()
1619 /// change, false otherwise. If a type contradiction is found, flag an error.
2448 /// change, false otherwise. If a type contradiction is found, flag an error.
3068 /// otherwise. Flags an error if a type contradiction is found.
4339 // will lead to a contradiction, which is not an error however, but in ParseOnePattern()
|
| /freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | ProgramState.h | 89 // A state is infeasible if there is a contradiction among the constraints.
109 // contradiction `0 * 0 = 4`.
111 // deduces `x = 1` and then realizes the contradiction `1 * 1 = 4`.
|
| /freebsd-head/tests/sys/fs/fusefs/ |
| HD | create.cc | 415 * contradiction between O_WRONLY and 0444
|
| /freebsd-head/stand/kboot/kboot/ |
| HD | main.c | 646 * and declaring it as extern is in contradiction with COMMAND_SET() macro
|
| /freebsd-head/stand/uboot/ |
| HD | main.c | 719 * and declaring it as extern is in contradiction with COMMAND_SET() macro
|
| /freebsd-head/contrib/dialog/ |
| HD | COPYING | 329 accompany the operating system. Such a contradiction means you cannot
|
| /freebsd-head/stand/efi/loader/ |
| HD | main.c | 1834 * and declaring it as extern is in contradiction with COMMAND_SET() macro
|
| /freebsd-head/contrib/llvm-project/lldb/source/Plugins/SymbolFile/PDB/ |
| HD | SymbolFilePDB.cpp | 1946 // empty string as its undecorated name. So we will face a contradiction in GetMangledForPDBFunc()
|
| /freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | RangeConstraintManager.cpp | 2430 // non-equal. This is a contradiction. in mergeImpl()
2671 // We have found a contradiction. in simplify()
|
| /freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| HD | CStringChecker.cpp | 890 // represent, which is sort of a contradiction. in emitAdditionOverflowBug()
|
| /freebsd-head/contrib/tzdata/ |
| HD | southamerica | 243 # contains a contradiction. I would give more credence to the Saturday/Sunday
|
| /freebsd-head/contrib/llvm-project/clang/include/clang/Basic/ |
| HD | AttrDocs.td | 2122 [[unlikely]] b++; // No contradiction since the second attribute
|
| /freebsd-head/crypto/openssl/ |
| HD | CHANGES.md | 10624 for the relevant algorithms. This is in contradiction with 0.9.7
15311 done automatically (in contradiction to the requirements of the C
|
| /freebsd-head/contrib/llvm-project/llvm/lib/Analysis/ |
| HD | ScalarEvolution.cpp | 10424 // is a contradiction. in SolveQuadraticAddRecRange()
12945 // Proof by contradiction. Suppose the stride were zero. If we can in howManyLessThans()
|
| /freebsd-head/contrib/llvm-project/llvm/lib/Target/NVPTX/ |
| HD | NVPTXIntrinsics.td | 2547 // contradiction between iPTRAny and iPTR for the addr defs, so the move_sym
|
| /freebsd-head/contrib/llvm-project/llvm/lib/Transforms/InstCombine/ |
| HD | InstCombineCompares.cpp | 846 // contradiction). As such, this code ensures that all comparisons are folded in foldAllocaCmp()
|
| /freebsd-head/share/dict/ |
| HD | web2a | 51541 self-contradiction
|
| HD | web2 | 42202 contradiction
|
12