On 12 March 2017 at 00:01, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> On Sat, Mar 11, 2017 at 11:53:53PM +0000, Dibyendu Majumdar wrote:
>> Following test fails:
>>
>> int main(void)
>> {
>> float f = 'a';
>> float g = 97;
>> printf("%f %f\n", f, g);
>> return 0;
>> }
>
> Just for info, there is a lot of things missing or incorrect with
> floating-points and I'm not speaking of the llvm part but of
> sparse itself.
>
> I have some test cases somewhere in one of my topic branches
> but this is very very low priority to me.
>
Ok no problem. I have tried to add partial support for FPCAST and
SETVAL in my project. Here is the commit:
https://github.com/dibyendumajumdar/dmr_c/commit/b95d54c9555ccf9e230edea5c1a3701172b7b1e2
Please let me know if this looks reasonable.
Unfortunately due to my amended codebase I am not able to submit patches here.
Thanks and Regards
Dibyendu
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
