---
layout: fc_discuss_archives
title: Message 23 from Frama-C-discuss on September 2010
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] casting from float to ulong and vice versa
- Subject: [Frama-c-discuss] casting from float to ulong and vice versa
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- Date: Fri, 17 Sep 2010 07:08:44 +0200
- In-reply-to: <AANLkTi=aCpQd-QAJCNZMD8RPC2nrPGa11tRLb5CDYJM+@mail.gmail.com>
- References: <AANLkTikM4u=PpSpi4vzmAHkHr_+aFg3C4wYb1YJnjV5Y@mail.gmail.com> <AANLkTi=aCpQd-QAJCNZMD8RPC2nrPGa11tRLb5CDYJM+@mail.gmail.com>
> - & 2UL: already treated, but quirky, fixed soon in the development
> version and you can expect it will work in the next release;
That part is now done in the development version. You can expect it in
the next release. The result on your code is now {0; 1; 2;}. I cannot
publish the patch because it is more than one line and is spread over
several files.
Pascal