pb with pointers and function address

[THORE, Pascal]

    Hi,

  I'm using gnucflow and i found a problem with pointers.
 

  Example1 :

        => with one function : function1

        void function1(void)
        {
         int *pt;


         pt = function1;
        }
 

        gnu cflow ouptut => function1() <void function1 (void) at essai.c:1> (R):
    function1() <void function1 (void) at essai.c:1> (recursive: see 1)

        There is no effective call to function1: fonction1's address is assigned to pointer pt.
        gnucflow can't see it's not a real call ?



        => with 2 functions : function1 and and unknow function 'function2' (just like any symbol)


                void function1(void)
                {
          int *pt;


                 pt = function2;
                }


                gnu cflow ouptut => function1() <void function1 (void) at essai.c:1>:
 

                it's OK !


        => with function2's prototype :

                void function2(void);

                void function1(void)
                {
                 int *pt;
 

                 pt = function2;
                }

                gnu cflow ouptut => function1() <void function1 (void) at essai.c:3>:



                it's OK !


        => with function2's body :

                void function2(void)
                {
                 ;
                }

                void function1(void)
                {
          int *pt;


                 pt = function2;
                }


                gnu cflow ouptut => function1() <void function1 (void) at essai.c:6>:
    function2() <void function2 (void) at essai.c:1>
       

                it's not OK !


    Best regards,

     Pascal THORE




This e-mail is intended only for the above addressee. It may contain
privileged information. If you are not the addressee you must not copy,
distribute, disclose or use any of the information in it. If you have
received it in error please delete it and immediately notify the sender.
Security Notice: all e-mail, sent to or from this address, may be
accessed by someone other than the recipient, for system management and
security reasons. This access is controlled under Regulation of
Investigatory Powers Act 2000, Lawful Business Practises.


_______________________________________________
Bug-cflow mailing list
Bug-cflow@...
http://lists.gnu.org/mailman/listinfo/bug-cflow