--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on January 2009 ---
Hello, I have encountered a problem: Some tome ago I have sent a remove_copy algorithm. Unfortunately, it only gets proven if the option is disabled: But i need this option enabled to combine algorithms to following function: int remove_array(int* a, int length, int value) { int i = 0; i = find_array(a, length, value); int* temp = a+i; return i == length ? i : remove_copy_array(temp, length, a+i, value); } This function is taken from the C++ STL and it is necessary to call "remove_copy_array" with pointers to the same array. I have added the necessary files and would appreciate any help to solve this problem. Cheers, Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090121/67bb77d4/attachment.htm -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: remove_array.h Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090121/67bb77d4/attachment.txt -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: remove_array.c Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090121/67bb77d4/attachment-0001.txt