projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63c96bf) | patch
stacktrace: remove usage of FILE in stacktrace
authorBrian Norris <banorris@uci.edu>
Thu, 18 Apr 2013 00:10:20 +0000 (17:10 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 18 Apr 2013 00:10:20 +0000 (17:10 -0700)
commit0a99a3c4c1c9aab7be017682b43ddf12d609ff4b
treeb1f048dcf69c20e91b0dd2f1c5e311b1340b2869tree | snapshot
parent63c96bfb56ee71259fcbb4d57a2350424944e28acommit | diff
stacktrace: remove usage of FILE in stacktrace

The original print_stacktrace() function required a FILE pointer, so we
manufactured one. We really should avoid the bugs that can come from the
allocation and buffering done with FILE, since this is used on error
paths.
common.cc diff | blob | history
stacktrace.h diff | blob | history
C++11 memory model checker