# HG changeset patch
# User Patrick Mezard <pmezard@gmail.com>
# Date 2008-04-14 20:31:33
# Node ID 9b35a9f34675969eb6f9b6fde8e23b7789e9b9e5
# Parent  2b181fb3a70a7033cb8be07a29c6e670aefe93c7

verify: check copy source revlog and nodeid

diff --git a/mercurial/verify.py b/mercurial/verify.py
--- a/mercurial/verify.py
+++ b/mercurial/verify.py
@@ -245,7 +245,14 @@ def _verify(repo):
                 rp = fl.renamed(n)
                 if rp:
                     fl2 = repo.file(rp[0])
-                    rev = fl2.rev(rp[1])
+                    if fl2.count() == 0:
+                        err(flr, _("empty or missing copy source revlog %s:%s")
+                            % (rp[0], short(rp[1])), f)
+                    elif rp[1] == nullid:
+                        err(flr, _("copy source revision is nullid %s:%s")
+                            % (rp[0], short(rp[1])), f)
+                    else:
+                        rev = fl2.rev(rp[1])
             except KeyboardInterrupt:
                 repo.ui.warn(_("interrupted"))
                 raise