diff options
Diffstat (limited to 'gcc/omega.c')
-rw-r--r-- | gcc/omega.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/omega.c b/gcc/omega.c index 38c51dbac7b..8829a71a91d 100644 --- a/gcc/omega.c +++ b/gcc/omega.c @@ -309,6 +309,23 @@ omega_print_vars (FILE *file, omega_pb pb) fprintf (file, "\n"); } +/* Dump problem PB. */ + +DEBUG_FUNCTION void +debug (omega_pb_d &ref) +{ + omega_print_problem (stderr, &ref); +} + +DEBUG_FUNCTION void +debug (omega_pb_d *ptr) +{ + if (ptr) + debug (*ptr); + else + fprintf (stderr, "<nil>\n"); +} + /* Debug problem PB. */ DEBUG_FUNCTION void |