341   bool IsKnownNonNegative;  member
344               bool IsKnownNonNegative = false)  in DecompEntry()
346         IsKnownNonNegative(IsKnownNonNegative) {}  in DecompEntry()
355   Decomposition(Value *V, bool IsKnownNonNegative = false) {  in Decomposition()
356     Vars.emplace_back(1, V, IsKnownNonNegative);  in Decomposition()
503   bool IsKnownNonNegative = false;  in decompose()  local
518       IsKnownNonNegative = true;  in decompose()
543     return {V, IsKnownNonNegative};  in decompose()
554     IsKnownNonNegative = true;  in decompose()
594       return {V, IsKnownNonNegative};  in decompose()
614   return {V, IsKnownNonNegative};  in decompose()
704         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});  in getConstraint()
705     I.first->second &= KV.IsKnownNonNegative;  in getConstraint()
713         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});  in getConstraint()
714     I.first->second &= KV.IsKnownNonNegative;  in getConstraint()
839   auto IsKnownNonNegative = [this](Value *V) {  in transferToOtherSystem()  local
856     if (IsKnownNonNegative(B)) {  in transferToOtherSystem()
866     if (IsKnownNonNegative(A)) {  in transferToOtherSystem()
874     if (IsKnownNonNegative(A))  in transferToOtherSystem()
881     if (IsKnownNonNegative(B))  in transferToOtherSystem()
887     if (IsKnownNonNegative(B))  in transferToOtherSystem()