Lines Matching defs:Unknown
1742 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
1744 default: llvm_unreachable("Unknown relation!");
1801 int Result = -1; // -1 = unknown, 0 = known false, 1 = known true.
1803 default: llvm_unreachable("Unknown relational!");
2090 bool Unknown = false;
2129 Unknown = true;
2134 Unknown = true;
2147 if (!Unknown && !inBounds &&
