Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] fool the tool

  • Subject: [Frama-c-discuss] fool the tool
  • From: Claude.Marche at (Claude Marché)
  • Date: Wed, 07 Jan 2009 10:18:58 +0100
  • In-reply-to: <2FC9E2795B7746B5A13A04BB8D89F5A4@AHARDPLACE>
  • References: <2FC9E2795B7746B5A13A04BB8D89F5A4@AHARDPLACE>

Christoph Weber wrote:

> Is this indended, signaling me to stop fooling around or am I missing something to invoke the gui properly.

The "assertion failed" message signals something unexpected happened in 
the jessie plugin. My guess is that it has to do with the support of 
arrays allocated on the stack, see the warnings:

> equal_array.c:6: Warning: Variable-sized local variable save_array_a
> equal_array.c:7: Warning: Variable-sized local variable save_array_b

I have no advice instead of trying to code without such arrays on the 
stack. (Which is something very dangerous to do anyway!)

Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - B?timent N      |
F-91893 ORSAY Cedex                    |