Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002347Frama-CPlug-in > clangpublic2018-01-22 20:502018-01-23 13:36
Reporterjens 
Assigned Tovirgile 
PrioritynormalSeveritycrashReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002347: direct initialisation of bool by nullptr
DescriptionThe attached program "nullptr_crash.cpp" compiles without warnings with g++-7.2 in C++11 mode.
Clang-5.0 issues a warning (and if I understood the standard correctly, it shouldn't, because the example uses "direct initialisation").
Frama-Clang crashes on the example.

The second example "nullptr_bool.cpp" which uses "copy initialisation" only warns about implicit conversion...
TagsNo tags attached.
Attached Filescpp file icon nullptr_crash.cpp [^] (54 bytes) 2018-01-22 20:50
cpp file icon nullptr_bool.cpp [^] (55 bytes) 2018-01-22 20:51
cpp file icon nullptr_no_crash.cpp [^] (54 bytes) 2018-01-23 13:35

- Relationships

-  Notes
(0006511)
jens (reporter)
2018-01-23 13:36

I added another example nullptr_no_crash.cpp that shows that for the "usual form" of direct initialisation the program does not crash.

- Issue History
Date Modified Username Field Change
2018-01-22 20:50 jens New Issue
2018-01-22 20:50 jens Status new => assigned
2018-01-22 20:50 jens Assigned To => virgile
2018-01-22 20:50 jens File Added: nullptr_crash.cpp
2018-01-22 20:51 jens File Added: nullptr_bool.cpp
2018-01-23 13:35 jens File Added: nullptr_no_crash.cpp
2018-01-23 13:36 jens Note Added: 0006511


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker