After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 780304 - core: Mark meta_fatal() as not returning
core: Mark meta_fatal() as not returning
Status: RESOLVED FIXED
Product: mutter
Classification: Core
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: mutter-maint
mutter-maint
Depends on:
Blocks:
 
 
Reported: 2017-03-20 14:15 UTC by Jonas Ådahl
Modified: 2017-04-27 15:42 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
core: Mark meta_fatal() as not returning (1.31 KB, patch)
2017-03-20 14:15 UTC, Jonas Ådahl 		committed Details | Review

Description Jonas Ådahl 2017-03-20 14:15:13 UTC 
There was at least one false positive coverity warning that was caused by coverity not understanding that meta_fatal() is actually fatal.
Comment 1 Jonas Ådahl 2017-03-20 14:15:20 UTC 
Created attachment 348318 [details] [review]
core: Mark meta_fatal() as not returning

This also makes meta_fatal() not returning, even if a NULL format is
passed.
Comment 2 Florian Müllner 2017-04-27 15:42:24 UTC 
This was pushed a while ago, marking as such.

Attachment 348318 [details] pushed as 7c22646 - core: Mark meta_fatal() as not returning