Frama-C Bug Tracking System - Frama-C
View Issue Details
0001620Frama-CDocumentation > manualspublic2014-01-19 23:542016-06-21 14:20
Reporterdharma 
Assigned Tosignoles 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Fluorine-20130601 
Target VersionFixed in VersionFrama-C Neon-20140301 
Summary0001620: RTE - Documentation on Unary Minus
DescriptionHi,

RTE document (http://frama-c.com/download/rte-manual-Fluorine-20130601.pdf), section 2.1.3, assert is incorrect in that <= should be replaced by < to avoid signed overflow, right?
TagsNo tags attached.
Attached Files

Notes
(0004425)
signoles   
2014-01-20 13:16   
Fix committed to master branch.
(0004426)
signoles   
2014-01-20 13:21   
Thanks for the report. The implementation indeed generates the assertion "-2147483647 <= ix". The documentation is fixed accordingly.
(0004484)
signoles   
2014-02-04 19:07   
Fix committed to feature/bug_1598 branch.
(0004539)
signoles   
2014-02-12 16:57   
Fix committed to stable/neon branch.

Issue History
2014-01-19 23:54dharmaNew Issue
2014-01-19 23:54dharmaStatusnew => assigned
2014-01-19 23:54dharmaAssigned To => signoles
2014-01-20 13:16signolesSource_changeset_attached => framac master 54a5f1cb
2014-01-20 13:16signolesNote Added: 0004425
2014-01-20 13:16signolesStatusassigned => resolved
2014-01-20 13:16signolesResolutionopen => fixed
2014-01-20 13:21signolesNote Added: 0004426
2014-02-04 19:07signolesSource_changeset_attached => framac feature/bug_1598 8fecea92
2014-02-04 19:07signolesNote Added: 0004484
2014-02-12 16:53signolesSource_changeset_attached => framac stable/neon 54a5f1cb
2014-02-12 16:57signolesNote Added: 0004539
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:20signolesCategoryDocumentation > ACSL => Documentation > manuals