Frama-C Bug Tracking System - Frama-C
View Issue Details
0002355Frama-CPlug-in > clangpublic2018-02-05 16:432018-02-05 17:28
jens 
virgile 
normalminoralways
assignedopen 
Frama-C 16-Sulfur 
 
0002355: Alt-Ergo reports about " bool and int cannot be unified"
If the attached simple C++ file is processed with the command line frama-c -wp -wp-rte -warn-unsigned-downcast -wp-out equal.wp++ equal.cpp then the following error message occurs: [wp] [Alt-Ergo] Goal typed__Z5equali_assert_rte_unsigned_downcast : Failed characters 4-22:typing error: bool and int cannot be unified Could it be that Frama-Clang (or WP?) treats the return value of operator == as int instead of bool?
The error message disappears when the option "-warn-unsigned-downcast" is omitted.
No tags attached.
related to 0001484resolved correnson ill-typed alt-ergo proof obligation 
cpp equal.cpp (42) 2018-02-05 16:43
https://bts.frama-c.com/file_download.php?file_id=1242&type=bug
Issue History
2018-02-05 16:43jensNew Issue
2018-02-05 16:43jensStatusnew => assigned
2018-02-05 16:43jensAssigned To => virgile
2018-02-05 16:43jensFile Added: equal.cpp
2018-02-05 17:27virgileRelationship addedrelated to 0001484
2018-02-05 17:28virgileNote Added: 0006521

Notes
(0006521)
virgile   
2018-02-05 17:28   
Symptoms are not unlike issue 1484