diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b275f01b541..c4447288cc1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2019-05-31  Martin Liska  <mliska@suse.cz>
+
+	* gdbhooks.py: Add const_tree to TreePrinter.
+
 2019-05-31  Thomas De Schampheleire  <thomas.de_schampheleire@nokia.com>
 
 	PR debug/86964
diff --git a/gcc/gdbhooks.py b/gcc/gdbhooks.py
index 7b1a7be0002..39f5c4772f9 100644
--- a/gcc/gdbhooks.py
+++ b/gcc/gdbhooks.py
@@ -540,7 +540,7 @@ class GdbPrettyPrinters(gdb.printing.PrettyPrinter):
 
 def build_pretty_printer():
     pp = GdbPrettyPrinters('gcc')
-    pp.add_printer_for_types(['tree'],
+    pp.add_printer_for_types(['tree', 'const_tree'],
                              'tree', TreePrinter)
     pp.add_printer_for_types(['cgraph_node *', 'varpool_node *', 'symtab_node *'],
                              'symtab_node', SymtabNodePrinter)