Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002342Frama-CPlug-in > clangpublic2018-01-18 07:542018-01-18 08:55
Reporterjens 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusconfirmedResolutionopen 
PlatformlinuxOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002342: std::bad_alloc not supported
DescriptionAttached is a simple C++ (03) program that checks whether 'new' has thrown an exception. I am not yet sure whether this is due to general lack of exceptions or just a library issue. I report just for completeness.
Steps To ReproduceCall 'frama-c -val new_bad_alloc.cpp'
TagsNo tags attached.
Attached Filescpp file icon new_bad_alloc.cpp [^] (166 bytes) 2018-01-18 07:54

- Relationships

-  Notes
(0006507)
jens (reporter)
2018-01-18 07:56

frama-clang version 0.0.4 (+ static-patch)
(0006508)
virgile (developer)
2018-01-18 08:55

There are two things here: - std::bad_alloc is indeed not declared in fclang's header - the translation of new is currently a plain malloc, without the possibility of throwing an exception (i.e., frama-clang assumes allocation succeeds). The former is quite easy to change, the latter requires slightly more work.

- Issue History
Date Modified Username Field Change
2018-01-18 07:54 jens New Issue
2018-01-18 07:54 jens Status new => assigned
2018-01-18 07:54 jens Assigned To => virgile
2018-01-18 07:54 jens File Added: new_bad_alloc.cpp
2018-01-18 07:56 jens Note Added: 0006507
2018-01-18 08:55 virgile Note Added: 0006508
2018-01-18 08:55 virgile Status assigned => confirmed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker