X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=stacktrace.h;h=e710d11d0c2e23d1fac9b23cbe261660174128d7;hb=HEAD;hp=f7c451c8cfcde9fcfb2351f55fc6076a9362cef5;hpb=fdc038715881f395ddbac1625160236f8db2c1d7;p=satcheck.git

diff --git a/stacktrace.h b/stacktrace.h
index f7c451c..e710d11 100644
--- a/stacktrace.h
+++ b/stacktrace.h
@@ -38,12 +38,12 @@ static inline void print_stacktrace(int fd = STDERR_FILENO, unsigned int max_fra
 
 	// iterate over the returned symbol lines. skip the first, it is the
 	// address of this function.
-	for (int i = 1; i < addrlen; i++) {
+	for (int i = 1;i < addrlen;i++) {
 		char *begin_name = 0, *begin_offset = 0, *end_offset = 0;
 
 		// find parentheses and +address offset surrounding the mangled name:
 		// ./module(function+0x15c) [0x8048a6d]
-		for (char *p = symbollist[i]; *p; ++p) {
+		for (char *p = symbollist[i];*p;++p) {
 			if (*p == '(')
 				begin_name = p;
 			else if (*p == '+')
@@ -67,14 +67,14 @@ static inline void print_stacktrace(int fd = STDERR_FILENO, unsigned int max_fra
 			char* ret = abi::__cxa_demangle(begin_name,
 																			funcname, &funcnamesize, &status);
 			if (status == 0) {
-				funcname = ret; // use possibly realloc()-ed string
+				funcname = ret;													// use possibly realloc()-ed string
 				model_dprintf(fd, "  %s : %s+%s\n",
-								symbollist[i], funcname, begin_offset);
+											symbollist[i], funcname, begin_offset);
 			} else {
 				// demangling failed. Output function name as a C function with
 				// no arguments.
 				model_dprintf(fd, "  %s : %s()+%s\n",
-								symbollist[i], begin_name, begin_offset);
+											symbollist[i], begin_name, begin_offset);
 			}
 		} else {
 			// couldn't parse the line? print the whole line.
@@ -91,4 +91,4 @@ static inline void print_stacktrace(FILE *out, unsigned int max_frames = 63)
 	print_stacktrace(fileno(out), max_frames);
 }
 
-#endif // __STACKTRACE_H__
+#endif// __STACKTRACE_H__