source: src/Common/Assert.cc@ 0992849

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 0992849 was bf2438c, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

Cleaned-up some headers using a tool called 'include-what-you-use'

  • Property mode set to 100644
File size: 1.4 KB
Line 
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.cc --
8//
9// Author : Peter A. Buhr
10// Created On : Thu Aug 18 13:26:59 2016
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Fri Aug 19 17:07:08 2016
13// Update Count : 10
14//
15
16#include <cstdarg> // for va_end, va_list, va_start
17#include <cstdio> // for fprintf, stderr, vfprintf
18#include <cstdlib> // for abort
19
20extern const char * __progname; // global name of running executable (argv[0])
21
22#define CFA_ASSERT_FMT "*CFA assertion error* \"%s\" from program \"%s\" in \"%s\" at line %d in file \"%s\""
23
24// called by macro assert in assert.h
25void __assert_fail( const char *assertion, const char *file, unsigned int line, const char *function ) {
26 fprintf( stderr, CFA_ASSERT_FMT ".\n", assertion, __progname, function, line, file );
27 abort();
28}
29
30// called by macro assertf
31void __assert_fail_f( const char *assertion, const char *file, unsigned int line, const char *function, const char *fmt, ... ) {
32 fprintf( stderr, CFA_ASSERT_FMT ": ", assertion, __progname, function, line, file );
33 va_list args;
34 va_start( args, fmt );
35 vfprintf( stderr, fmt, args );
36 va_end( args );
37 fprintf( stderr, "\n" );
38 abort();
39}
40
41// Local Variables: //
42// tab-width: 4 //
43// mode: c++ //
44// compile-command: "make install" //
45// End: //
Note: See TracBrowser for help on using the repository browser.