[Coverity] Explicit null dereferenced (FORWARD_NULL)

2013-05-16 11:25:29 -04:00
parent 572eaccd20
commit 2516df45bb
1 changed files with 1 additions and 0 deletions
--- 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