Changeset 1cb2282 for src/main.cc

Timestamp:

Aug 18, 2016, 4:59:11 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

99cad3aa

Parents:

3b8e52c

Message:

add new assert macro for printing message

File:

• src/main.cc (modified) (3 diffs)

src/main.cc

@@ -10 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Aug 17 22:13:38 2016
-// Update Count     : 341
+// Last Modified On : Thu Aug 18 16:33:49 2016
+// Update Count     : 347
 //
 
@@ -70 +70 @@
 static void dump( std::list< Declaration * > & translationUnit, std::ostream & out = std::cout );
 
-//************************************************
-
-#define __STRINGIFY__(str) #str
-#define __VSTRINGIFY__(str) __STRINGIFY__(str)
-#define assertf(expr, fmt, ...) ((expr) ? static_cast<void>(0) : __assert_fail_f(__VSTRINGIFY__(expr), __FILE__, __LINE__, __PRETTY_FUNCTION__, fmt, ## __VA_ARGS__ ))
-#define CFA_ASSERT_FMT "*CFA assertion error* from program \"%s\" in \"%s\" at line %d in file \"%s\": "
-
-extern const char * __progname;                                                 // global name of running executable (argv[0])
-// called by macro assert in assert.h
-void __assert_fail( const char *assertion, const char *file, unsigned int line, const char *function ) {
-        fprintf( stderr, CFA_ASSERT_FMT, __progname, function, line, file );
-        exit( EXIT_FAILURE );
-}
-
-#include <cstdarg>
-// called by macro assertf
-void __assert_fail_f( const char *assertion, const char *file, unsigned int line, const char *function, const char *fmt, ... ) {
-        fprintf( stderr, CFA_ASSERT_FMT, __progname, function, line, file );
-        va_list args;
-        va_start( args, fmt );
-        vfprintf( stderr, fmt, args );
-        exit( EXIT_FAILURE );
-}
-
-//************************************************
-
 int main( int argc, char * argv[] ) {
         FILE * input;                                                                           // use FILE rather than istream because yyin is FILE
@@ -408 +382 @@
 } // dump
 
-
-
 // Local Variables: //
 // tab-width: 4 //