--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on August 2012 ---
Patrick, Thanks so much for your timely reply. Yeah, only those values x and y point-to are reassigned. I want to obtain the out parameters of a function. In this function, x and y are out parameters, x and y are pointers and the argument values x and y point-to also reassigned in the function body. Because x and y are not treated as def values. I don't know how to automatically identify which parameter is out parameter in a function. Any other solutions to this problem? Best regards, Ben >**>* 1 int swap( int *x, int *y)* >* 2 {* >* 3 int temp1 = *x;* >* 4 int temp2 = *y;* >* 5 *x = temp2;* >* 6 *y = temp1;** * >* 7 }* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120802/40aa0774/attachment.html>