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] [Fwd: Meaning of warning]

  • Subject: [Frama-c-discuss] [Fwd: Meaning of warning]
  • From: christele.faure2 at wanadoo.fr (Christele Faure)
  • Date: Tue, 29 Jun 2010 08:50:02 +0200
Hi

I cannot figure out what this message means: ALE.c:342:[kernel] warning: Cannot represent the length of array as an attribute.
I got this message 135 times on my application.
Does any one know about this message ? 

Ch

-- 
Christele Faure-Simeoni
04 93 77 71 08
http://pagesperso-orange.fr/Christele.Faure/
http://www.safe-river.com/