--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Fwd: Meaning of warning]



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/