Comparison of different types in acsl clause causes segmentation fault
ID0001902: This issue was created automatically from Mantis Issue 1902. Further discussion may take place here.
|Plug-in > clang
|have not tried
|xubuntu 64 bit
|Fixed in Version
A comparison between e.g. an int and a short is normaly translated to a cast and a following comparison in the normalised version. This works fine in C but in C++ a comparison of e.g. an int and a short in an acsl clause causes a segmentation fault.