diff options
Diffstat (limited to 'tapsets.cxx')
| -rw-r--r-- | tapsets.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tapsets.cxx b/tapsets.cxx index 5a7a0726..b079ec59 100644 --- a/tapsets.cxx +++ b/tapsets.cxx @@ -1241,6 +1241,8 @@ dwflpp fprintf(memstream, "if (0) goto deref_fault;\n"); // XXX: deref flag not reliable; emit fault label unconditionally + // XXX: print the faulting address, like the user_string/kernel_string + // tapset functions do if (deref) ; fprintf(memstream, "deref_fault:\n" |