--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on January 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problems with option -jessie-no-regions



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