Guessing the Data Set to a Function

Hi,


        I have a problem with deducing the Data Set to a function written in
        a High Level Language.


        I feel that the compiler is well equipped to do so, therefore I am
        posting my questions to this forum.


        Given a procedure/function in HLL(say, 'C') as an input, I want the
        compiler to deduce the data set corresponding to the
        parameters to the function.


        I see three cases:


                a) Shortest Path Executed By the Function


                b) Average Path Executed By the Function


                c) Longest Path Executed By the Function


          Obviously, All three depend upon the compiler
          being able to correctly guess the data set
          corresponding to the function's parameters.


          My question is whether this is possible or/and
          specifically, how to tell the Average path.


Sincerely,
Seima Rao.

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