Remove compare_values_warnv function
The compare_values_warnv function, along with strict overflow warning logic, has been removed from the tree-vrp module.
The compare_values_warnv function has been removed from the tree-vrp module. This function was previously responsible for comparing values and issuing strict overflow warnings. The change also modifies related functions like compare_values and test_for_singularity to remove the warning logic. This is part of a larger effort to deprecate the -Wstrict-overflow warning, which helps simplify the code base.
In Details
This commit removes compare_values_warnv from tree-vrp.cc and updates its callers (compare_values and test_for_singularity) to remove the now-defunct strict overflow checking. tree-vrp performs value range propagation on the GCC IR (tree) to enable optimisations. The overflow checking logic was triggered during value comparison. This change continues the cleanup of Wstrict-overflow.
For Context
Value range propagation (VRP) is a compiler optimization technique used to determine the possible range of values a variable can hold during program execution. This information allows the compiler to perform further optimizations, such as dead code elimination or simplification of expressions. This commit removes a function related to value comparison and strict overflow warnings within the VRP module, as part of a broader effort to deprecate the -Wstrict-overflow warning.