Changes in src/main.cc [6559a9d:74330e7]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/main.cc
r6559a9d r74330e7 10 10 // Created On : Fri May 15 23:12:02 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Fri Aug 23 06:50:08 201913 // Update Count : 6 0712 // Last Modified On : Sat Feb 8 08:33:50 2020 13 // Update Count : 633 14 14 // 15 15 … … 20 20 #include <cstdio> // for fopen, FILE, fclose, stdin 21 21 #include <cstdlib> // for exit, free, abort, EXIT_F... 22 #include <csignal> // for signal, SIGABRT, SIGSEGV22 #include <csignal> // for signal, SIGABRT, SIGSEGV 23 23 #include <cstring> // for index 24 24 #include <fstream> // for ofstream … … 28 28 #include <list> // for list 29 29 #include <string> // for char_traits, operator<< 30 31 using namespace std; 32 30 33 31 34 #include "CompilationState.h" … … 53 56 #include "InitTweak/GenInit.h" // for genInit 54 57 #include "MakeLibCfa.h" // for makeLibCfa 55 #include "Parser/LinkageSpec.h" // for Spec, Cforall, Intrinsic56 58 #include "Parser/ParseNode.h" // for DeclarationNode, buildList 57 59 #include "Parser/TypedefTable.h" // for TypedefTable … … 59 61 #include "ResolvExpr/Resolver.h" // for resolve 60 62 #include "SymTab/Validate.h" // for validate 63 #include "SynTree/LinkageSpec.h" // for Spec, Cforall, Intrinsic 61 64 #include "SynTree/Declaration.h" // for Declaration 62 65 #include "SynTree/Visitor.h" // for acceptAll … … 64 67 #include "Virtual/ExpandCasts.h" // for expandCasts 65 68 66 67 using namespace std;68 69 69 70 static void NewPass( const char * const name ) { … … 97 98 static bool waiting_for_gdb = false; // flag to set cfa-cpp to wait for gdb on start 98 99 99 static st d::string PreludeDirector = "";100 static string PreludeDirector = ""; 100 101 101 102 static void parse_cmdline( int argc, char *argv[] ); … … 104 105 105 106 static void backtrace( int start ) { // skip first N stack frames 106 enum { Frames = 50 };107 enum { Frames = 50, }; // maximum number of stack frames 107 108 void * array[Frames]; 108 int size = ::backtrace( array, Frames );109 size_t size = ::backtrace( array, Frames ); 109 110 char ** messages = ::backtrace_symbols( array, size ); // does not demangle names 110 111 … … 113 114 114 115 // skip last 2 stack frames after main 115 for ( int i = start; i < size - 2 && messages != nullptr; i += 1 ) {116 for ( unsigned int i = start; i < size - 2 && messages != nullptr; i += 1 ) { 116 117 char * mangled_name = nullptr, * offset_begin = nullptr, * offset_end = nullptr; 117 for ( char *p = messages[i]; *p; ++p ) { // find parantheses and +offset 118 119 for ( char * p = messages[i]; *p; p += 1 ) { // find parantheses and +offset 118 120 if ( *p == '(' ) { 119 121 mangled_name = p; … … 153 155 } // backtrace 154 156 155 static void sigSegvBusHandler( int sig_num ) { 156 cerr << "*CFA runtime error* program cfa-cpp terminated with " 157 << (sig_num == SIGSEGV ? "segment fault" : "bus error") 158 << "." << endl; 157 #define SIGPARMS int sig __attribute__(( unused )), siginfo_t * sfp __attribute__(( unused )), ucontext_t * cxt __attribute__(( unused )) 158 159 static void Signal( int sig, void (*handler)(SIGPARMS), int flags ) { 160 struct sigaction act; 161 162 act.sa_sigaction = (void (*)(int, siginfo_t *, void *))handler; 163 act.sa_flags = flags; 164 165 if ( sigaction( sig, &act, nullptr ) == -1 ) { 166 cerr << "*CFA runtime error* problem installing signal handler, error(" << errno << ") " << strerror( errno ) << endl; 167 _exit( EXIT_FAILURE ); 168 } // if 169 } // Signal 170 171 static void sigSegvBusHandler( SIGPARMS ) { 172 if ( sfp->si_addr == nullptr ) { 173 cerr << "Null pointer (nullptr) dereference." << endl; 174 } else { 175 cerr << (sig == SIGSEGV ? "Segment fault" : "Bus error") << " at memory location " << sfp->si_addr << "." << endl 176 << "Possible cause is reading outside the address space or writing to a protected area within the address space with an invalid pointer or subscript." << endl; 177 } // if 159 178 backtrace( 2 ); // skip first 2 stack frames 160 //_exit( EXIT_FAILURE );161 179 abort(); // cause core dump for debugging 162 180 } // sigSegvBusHandler 163 181 164 static void sigAbortHandler( __attribute__((unused)) int sig_num ) { 182 static void sigFpeHandler( SIGPARMS ) { 183 const char * msg; 184 185 switch ( sfp->si_code ) { 186 case FPE_INTDIV: case FPE_FLTDIV: msg = "divide by zero"; break; 187 case FPE_FLTOVF: msg = "overflow"; break; 188 case FPE_FLTUND: msg = "underflow"; break; 189 case FPE_FLTRES: msg = "inexact result"; break; 190 case FPE_FLTINV: msg = "invalid operation"; break; 191 default: msg = "unknown"; 192 } // choose 193 cerr << "Computation error " << msg << " at location " << sfp->si_addr << endl 194 << "Possible cause is constant-expression evaluation invalid." << endl; 195 backtrace( 2 ); // skip first 2 stack frames 196 abort(); // cause core dump for debugging 197 } // sigFpeHandler 198 199 static void sigAbortHandler( SIGPARMS ) { 165 200 backtrace( 6 ); // skip first 6 stack frames 166 signal( SIGABRT, SIG_DFL);// reset default signal handler201 Signal( SIGABRT, (void (*)(SIGPARMS))SIG_DFL, SA_SIGINFO ); // reset default signal handler 167 202 raise( SIGABRT ); // reraise SIGABRT 168 203 } // sigAbortHandler … … 173 208 list< Declaration * > translationUnit; 174 209 175 signal( SIGSEGV, sigSegvBusHandler ); 176 signal( SIGBUS, sigSegvBusHandler ); 177 signal( SIGABRT, sigAbortHandler ); 178 179 // std::cout << "main" << std::endl; 210 Signal( SIGSEGV, sigSegvBusHandler, SA_SIGINFO ); 211 Signal( SIGBUS, sigSegvBusHandler, SA_SIGINFO ); 212 Signal( SIGFPE, sigFpeHandler, SA_SIGINFO ); 213 Signal( SIGABRT, sigAbortHandler, SA_SIGINFO ); 214 215 // cout << "main" << endl; 180 216 // for ( int i = 0; i < argc; i += 1 ) { 181 // std::cout << '\t' << argv[i] << std::endl;217 // cout << '\t' << argv[i] << endl; 182 218 // } // for 183 219 … … 186 222 187 223 if ( waiting_for_gdb ) { 188 std::cerr << "Waiting for gdb" << std::endl;189 std::cerr << "run :" << std::endl;190 std::cerr << " gdb attach " << getpid() << std::endl;224 cerr << "Waiting for gdb" << endl; 225 cerr << "run :" << endl; 226 cerr << " gdb attach " << getpid() << endl; 191 227 raise(SIGSTOP); 192 228 } // if … … 388 424 return EXIT_FAILURE; 389 425 } catch ( ... ) { 390 std::exception_ptr eptr = std::current_exception();426 exception_ptr eptr = current_exception(); 391 427 try { 392 428 if (eptr) { 393 std::rethrow_exception(eptr);429 rethrow_exception(eptr); 394 430 } else { 395 std::cerr << "Exception Uncaught and Unknown" << std::endl;396 } // if 397 } catch(const std::exception& e) {398 std::cerr << "Uncaught Exception \"" << e.what() << "\"\n";431 cerr << "Exception Uncaught and Unknown" << endl; 432 } // if 433 } catch(const exception& e) { 434 cerr << "Uncaught Exception \"" << e.what() << "\"\n"; 399 435 } // try 400 436 return EXIT_FAILURE; … … 407 443 408 444 409 static const char optstring[] = ": hlLmNnpP:S:tgwW:D:";445 static const char optstring[] = ":c:ghlLmNnpP:S:twW:D:"; 410 446 411 447 enum { PreludeDir = 128 }; 412 448 static struct option long_opts[] = { 449 { "colors", required_argument, nullptr, 'c' }, 450 { "gdb", no_argument, nullptr, 'g' }, 413 451 { "help", no_argument, nullptr, 'h' }, 414 452 { "libcfa", no_argument, nullptr, 'l' }, … … 422 460 { "statistics", required_argument, nullptr, 'S' }, 423 461 { "tree", no_argument, nullptr, 't' }, 424 { "gdb", no_argument, nullptr, 'g' },425 462 { "", no_argument, nullptr, 0 }, // -w 426 463 { "", no_argument, nullptr, 0 }, // -W … … 430 467 431 468 static const char * description[] = { 432 "print help message", // -h 433 "generate libcfa.c", // -l 434 "generate line marks", // -L 435 "do not replace main", // -m 436 "do not generate line marks", // -N 437 "do not read prelude", // -n 469 "diagnostic color: never, always, or auto.", // -c 470 "wait for gdb to attach", // -g 471 "print help message", // -h 472 "generate libcfa.c", // -l 473 "generate line marks", // -L 474 "do not replace main", // -m 475 "do not generate line marks", // -N 476 "do not read prelude", // -n 438 477 "generate prototypes for prelude functions", // -p 439 "print", 478 "print", // -P 440 479 "<directory> prelude directory for debug/nodebug", // no flag 441 480 "<option-list> enable profiling information:\n counters,heap,time,all,none", // -S 442 "building cfa standard lib", // -t 443 "wait for gdb to attach", // -g 444 "", // -w 445 "", // -W 446 "", // -D 481 "building cfa standard lib", // -t 482 "", // -w 483 "", // -W 484 "", // -D 447 485 }; // description 448 486 … … 512 550 while ( (c = getopt_long( argc, argv, optstring, long_opts, nullptr )) != -1 ) { 513 551 switch ( c ) { 552 case 'c': // diagnostic colors 553 if ( strcmp( optarg, "always" ) == 0 ) { 554 ErrorHelpers::colors = ErrorHelpers::Colors::Always; 555 } else if ( strcmp( optarg, "never" ) == 0 ) { 556 ErrorHelpers::colors = ErrorHelpers::Colors::Never; 557 } else if ( strcmp( optarg, "auto" ) == 0 ) { 558 ErrorHelpers::colors = ErrorHelpers::Colors::Auto; 559 } // if 560 break; 514 561 case 'h': // help message 515 562 usage( argv ); // no return
Note:
See TracChangeset
for help on using the changeset viewer.