changeset 35197:996cf322a88d

Mark exit_player functions as noreturn.
author reimar
date Tue, 30 Oct 2012 16:58:50 +0000
parents 9269e341748f
children 8528f4b70dff
files mp_core.h
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/mp_core.h	Tue Oct 30 16:51:25 2012 +0000
+++ b/mp_core.h	Tue Oct 30 16:58:50 2012 +0000
@@ -29,6 +29,7 @@
 #include "mixer.h"
 #include "libvo/video_out.h"
 #include "sub/subreader.h"
+#include "libavutil/attributes.h"
 
 // definitions used internally by the core player code
 
@@ -152,8 +153,8 @@
 void reinit_audio_chain(void);
 double playing_audio_pts(sh_audio_t *sh_audio, demux_stream_t *d_audio,
 			 const ao_functions_t *audio_out);
-void exit_player(enum exit_reason how);
-void exit_player_with_rc(enum exit_reason how, int rc);
+av_noreturn void exit_player(enum exit_reason how);
+av_noreturn void exit_player_with_rc(enum exit_reason how, int rc);
 void add_subtitles(char *filename, float fps, int noerr);
 int reinit_video_chain(void);