Never record VREL_UNDEFINED in a relation chain
Undefined relations are not recorded in value relation chains.
This change prevents VREL_UNDEFINED from being recorded in relation chains within GCC’s value analysis. Recording an undefined relation typically indicates an unreachable block, and including it could negatively impact subsequent searches and analyses. The modification ensures that only valid, defined relations are tracked, improving the robustness of optimizations.
In Details
This commit updates value-relation.cc to prevent VREL_UNDEFINED from being recorded by the dom_oracle or path_oracle. When an undefined relation is encountered, it signifies an unreachable control flow block. Previously, such undefined states could propagate through the relation chains, potentially corrupting dataflow analyses or leading to incorrect assumptions. This change ensures that only defined value relations are maintained, preserving the integrity of the analysis.
- VREL_UNDEFINED
- A value relation status indicating that the relationship between two values is currently undefined, often due to unreachable code paths.
- relation chain
- A sequence of recorded value relations used to infer transitive relationships between program variables or values.
- dom_oracle
- Part of GCC's value analysis framework that provides information about dominance relationships and value equivalences.
- path_oracle
- A component within GCC's value analysis that tracks relationships along paths in the control flow graph, often used for aliasing and pointer analysis.
- unreachable block
- A section of code within a program that cannot be executed under any circumstances due to the program's control flow logic.