Lines Matching defs:value
203 void ValueScope::setValue (const Variable* variable, ConstValueRangeAccess value)
209 dst.getMin() = value.getMin().value();
210 dst.getMax() = value.getMax().value();
251 // Allocate value entry
341 return DE_NULL; // Only single value scope
355 void VariableManager::setValue (const Variable* variable, ConstValueRangeAccess value)
361 // New value, allocate and update cache.
371 curScope.setValue(variable, value);
472 // Build new intersected value and store into current scope.