redrust/
redisassert.rs

1extern crate c2rust_bitfields;
2extern crate libc;
3extern crate core;
4extern "C" {
5    pub type _IO_wide_data;
6    pub type _IO_codecvt;
7    pub type _IO_marker;
8    static mut stderr: *mut FILE;
9    fn fprintf(_: *mut FILE, _: *const libc::c_char, _: ...) -> libc::c_int;
10    fn abort() -> !;
11    fn raise(__sig: libc::c_int) -> libc::c_int;
12}
13pub type size_t = libc::c_ulong;
14pub type __off_t = libc::c_long;
15pub type __off64_t = libc::c_long;
16#[derive(Copy, Clone)]
17#[repr(C)]
18pub struct _IO_FILE {
19    pub _flags: libc::c_int,
20    pub _IO_read_ptr: *mut libc::c_char,
21    pub _IO_read_end: *mut libc::c_char,
22    pub _IO_read_base: *mut libc::c_char,
23    pub _IO_write_base: *mut libc::c_char,
24    pub _IO_write_ptr: *mut libc::c_char,
25    pub _IO_write_end: *mut libc::c_char,
26    pub _IO_buf_base: *mut libc::c_char,
27    pub _IO_buf_end: *mut libc::c_char,
28    pub _IO_save_base: *mut libc::c_char,
29    pub _IO_backup_base: *mut libc::c_char,
30    pub _IO_save_end: *mut libc::c_char,
31    pub _markers: *mut _IO_marker,
32    pub _chain: *mut _IO_FILE,
33    pub _fileno: libc::c_int,
34    pub _flags2: libc::c_int,
35    pub _old_offset: __off_t,
36    pub _cur_column: libc::c_ushort,
37    pub _vtable_offset: libc::c_schar,
38    pub _shortbuf: [libc::c_char; 1],
39    pub _lock: *mut libc::c_void,
40    pub _offset: __off64_t,
41    pub _codecvt: *mut _IO_codecvt,
42    pub _wide_data: *mut _IO_wide_data,
43    pub _freeres_list: *mut _IO_FILE,
44    pub _freeres_buf: *mut libc::c_void,
45    pub __pad5: size_t,
46    pub _mode: libc::c_int,
47    pub _unused2: [libc::c_char; 20],
48}
49pub type _IO_lock_t = ();
50pub type FILE = _IO_FILE;
51/* #[no_mangle]
52pub unsafe extern "C" fn _serverAssert(
53    mut estr: *const libc::c_char,
54    mut file: *const libc::c_char,
55    mut line: libc::c_int,
56) {
57    fprintf(stderr, b"=== ASSERTION FAILED ===\0" as *const u8 as *const libc::c_char);
58    fprintf(
59        stderr,
60        b"==> %s:%d '%s' is not true\0" as *const u8 as *const libc::c_char,
61        file,
62        line,
63        estr,
64    );
65    raise(11 as libc::c_int);
66} 
67#[no_mangle]
68pub unsafe extern "C" fn _serverPanic(
69    mut file: *const libc::c_char,
70    mut line: libc::c_int,
71    mut msg: *const libc::c_char,
72    mut args: ...
73) {
74    fprintf(
75        stderr,
76        b"------------------------------------------------\0" as *const u8
77            as *const libc::c_char,
78    );
79    fprintf(
80        stderr,
81        b"!!! Software Failure. Press left mouse button to continue\0" as *const u8
82            as *const libc::c_char,
83    );
84    fprintf(
85        stderr,
86        b"Guru Meditation: %s #%s:%d\0" as *const u8 as *const libc::c_char,
87        msg,
88        file,
89        line,
90    );
91    abort();
92}
93*/
redrust/redisassert.rs

redrust/
redisassert.rs
