Recognize valid paths

Hi,


for some static program analyses it is crucial to recognize valid
paths of the control flow graph taken while executing the code.


if (x < 1)
      x = 1;
if (x > 10)
      x = 10;


For this example code, it's obvious that a path through both
then-parts of the conditions is not feasible. Such invalid combination
often come up from dependencies between variable assignments (x=1) and
values of branch conditions (if(x>10)). Please also note that this is
not "dead code" since each of the then-parts can be executed depending
on the value of x before the first condition.


I was wondering which compiler analyses might recognized such invalid
combinations of paths. Any ideas?


Cheers,
Tim

Return to the comp.compilers page.
Search the comp.compilers archives again.