source: libcfa/src/assert.cfa @ aec68b6

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since aec68b6 was e3fea42, checked in by Peter A. Buhr <pabuhr@…>, 22 months ago

change "const char *" to "const char []"

  • Property mode set to 100644
File size: 1.6 KB
RevLine 
[f773f67]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// assert.c --
8//
9// Author           : Thierry Delisle
10// Created On       : Mon Nov 28 12:27:26 2016
[91c389a]11// Last Modified By : Peter A. Buhr
[e3fea42]12// Last Modified On : Tue Feb  4 13:00:18 2020
13// Update Count     : 6
[f773f67]14//
15
[91c389a]16#include <assert.h>
17#include <stdarg.h>                                                             // varargs
18#include <stdio.h>                                                              // fprintf
[1c40091]19#include <unistd.h>                                                             // STDERR_FILENO
[73abe95]20#include "bits/debug.hfa"
[9d944b2]21
[f773f67]22extern "C" {
23        extern const char * __progname;                                         // global name of running executable (argv[0])
24
[f5883bd]25        #define CFA_ASSERT_FMT "Cforall Assertion error \"%s\" from program \"%s\" in \"%s\" at line %d in file \"%s\""
[f773f67]26
27        // called by macro assert in assert.h
[e3fea42]28        void __assert_fail( const char assertion[], const char file[], unsigned int line, const char function[] ) {
[1c40091]29                __cfaabi_bits_print_safe( STDERR_FILENO, CFA_ASSERT_FMT ".\n", assertion, __progname, function, line, file );
[f773f67]30                abort();
31        }
32
33        // called by macro assertf
[e3fea42]34        void __assert_fail_f( const char assertion[], const char file[], unsigned int line, const char function[], const char fmt[], ... ) {
[1c40091]35                __cfaabi_bits_acquire();
36                __cfaabi_bits_print_nolock( STDERR_FILENO, CFA_ASSERT_FMT ": ", assertion, __progname, function, line, file );
[9d944b2]37
[f773f67]38                va_list args;
39                va_start( args, fmt );
[1c40091]40                __cfaabi_bits_print_vararg( STDERR_FILENO, fmt, args );
[57f408e]41                va_end( args );
[9d944b2]42
[1c40091]43                __cfaabi_bits_print_nolock( STDERR_FILENO, "\n" );
44                __cfaabi_bits_release();
[f773f67]45                abort();
46        }
47}
48
49// Local Variables: //
50// mode: c //
51// tab-width: 4 //
52// End: //
Note: See TracBrowser for help on using the repository browser.