Add assertion to ensure pointer dereference has been checked against NULL pointer.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@7528 6f19259b-4bc3-4df7-8a09-765794883524

MdeModulePkg/Core/Dxe/FwVol/FwVol.c

@@ -556,7 +556,7 @@ NotifyFwVolBlock (
     //
     Status = CoreHandleProtocol (Handle, &gEfiFirmwareVolumeBlockProtocolGuid, (VOID **)&Fvb);
     ASSERT_EFI_ERROR (Status);
-
+    ASSERT (Fvb != NULL);
 
     //
     // Make sure the Fv Header is O.K.

MdeModulePkg/Core/Dxe/Image/ImageFile.c

@@ -290,6 +290,7 @@ CoreOpenImageFile (
           //
           // Allocate space for the file
           //
+          ASSERT (FileInfo != NULL);
           ImageFileHandle->Source = AllocatePool ((UINTN)FileInfo->FileSize);
           if (ImageFileHandle->Source != NULL) {
             //

MdeModulePkg/Core/Dxe/SectionExtraction/CoreSectionExtraction.c

@@ -580,8 +580,8 @@ CreateChildNode (
           // Decompress the stream
           //
           Status = CoreLocateProtocol (&gEfiDecompressProtocolGuid, NULL, (VOID **)&Decompress);
-
           ASSERT_EFI_ERROR (Status);
+          ASSERT (Decompress != NULL);
 
           Status = Decompress->GetInfo (
                                  Decompress,