From 2516df45bb871e33449dbee47c9725ef9f106f08 Mon Sep 17 00:00:00 2001
From: "Peter D. Barnes, Jr." <barnes26@llnl.gov>
Date: Thu, 16 May 2013 11:25:29 -0400
Subject: [PATCH] [Coverity] Explicit null dereferenced (FORWARD_NULL)

---
 src/internet/model/global-route-manager-impl.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/internet/model/global-route-manager-impl.cc b/src/internet/model/global-route-manager-impl.cc
index ab138f1b6..fcd942b96 100644
--- a/src/internet/model/global-route-manager-impl.cc
+++ b/src/internet/model/global-route-manager-impl.cc
@@ -837,6 +837,7 @@ GlobalRouteManagerImpl::SPFNext (SPFVertex* v, CandidateQueue& candidate)
 //
       if (v->GetLSA ()->GetLSType () == GlobalRoutingLSA::RouterLSA)
         {
+          NS_ASSERT (l != 0);
           distance = v->GetDistanceFromRoot () + l->GetMetric ();
         }
       else