Home
last modified time | relevance | path

Searched full:contradiction (Results 1 – 24 of 24) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/Target/Hexagon/MCTargetDesc/
H A DHexagonMCExpr.cpp86 assert((!Val || !MustNotExtend) && "Extension contradiction"); in setMustExtend()
92 assert((!Val || !MustExtend) && "Extension contradiction"); in setMustNotExtend()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp27 /// may in turn yield more unit clauses or even a contradiction.
87 /// Returns true if we observed a contradiction while adding clauses.
/freebsd/contrib/tzcode/
H A Dnewctime.391 Some implementations support leap seconds, in contradiction to POSIX.
/freebsd/sys/contrib/device-tree/Bindings/net/
H A Dethernet-controller.yaml41 maximum frame size (there\'s contradiction in the Devicetree
/freebsd/contrib/llvm-project/llvm/utils/TableGen/Common/
H A DCodeGenDAGPatterns.h407 /// 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.
H A DCodeGenDAGPatterns.cpp375 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.
3060 /// otherwise. Flags an error if a type contradiction is found.
4331 // will lead to a contradiction, which is not an error however, but in ParseOnePattern()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h89 // 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/tests/sys/fs/fusefs/
H A Dcreate.cc415 * contradiction between O_WRONLY and 0444
/freebsd/stand/kboot/kboot/
H A Dmain.c628 * and declaring it as extern is in contradiction with COMMAND_SET() macro
/freebsd/contrib/dialog/
H A DCOPYING329 accompany the operating system. Such a contradiction means you cannot
/freebsd/stand/uboot/
H A Dmain.c719 * and declaring it as extern is in contradiction with COMMAND_SET() macro
/freebsd/contrib/llvm-project/lldb/source/Plugins/SymbolFile/PDB/
H A DSymbolFilePDB.cpp1946 // empty string as its undecorated name. So we will face a contradiction in GetMangledForPDBFunc()
/freebsd/stand/efi/loader/
H A Dmain.c1811 * and declaring it as extern is in contradiction with COMMAND_SET() macro
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp2430 // non-equal. This is a contradiction. in mergeImpl()
2671 // We have found a contradiction. in simplify()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp890 // represent, which is sort of a contradiction. in emitAdditionOverflowBug()
/freebsd/contrib/tzdata/
H A Dsouthamerica243 # contains a contradiction. I would give more credence to the Saturday/Sunday
/freebsd/contrib/llvm-project/clang/include/clang/Basic/
H A DAttrDocs.td2122 [[unlikely]] b++; // No contradiction since the second attribute
/freebsd/crypto/openssl/
H A DCHANGES.md10593 for the relevant algorithms. This is in contradiction with 0.9.7
15280 done automatically (in contradiction to the requirements of the C
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp10422 // is a contradiction. in SolveQuadraticAddRecRange()
12943 // Proof by contradiction. Suppose the stride were zero. If we can in howManyLessThans()
/freebsd/contrib/llvm-project/llvm/lib/Target/NVPTX/
H A DNVPTXIntrinsics.td2547 // contradiction between iPTRAny and iPTR for the addr defs, so the move_sym
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCompares.cpp846 // contradiction). As such, this code ensures that all comparisons are folded in foldAllocaCmp()
/freebsd/share/dict/
H A Dweb2a51541 self-contradiction
H A Dweb242202 contradiction
/freebsd/contrib/one-true-awk/testdir/
H A Dbib30072 And without all contradiction the less is blessed of the better.
30216 For consider him that endured such contradiction of sinners against himself, lest ye be wearied and…