BaseTools/VfrCompile: Avoid using uninitialized pointer

V2:
Add function _INIT_OPHDR_COND () for variable initialization.
Make code logic more clean.

Previously _CLEAR_SAVED_OPHDR () is used for variable
initialization, and we updated it to clean memory.
But _CLEAR_SAVED_OPHDR () is still called for variable
initialization. This will cause uninitialized pointer
will be checked to free and cause unexpected issue.

This patch is to add new function for variable initialization
and keep _CLEAR_SAVED_OPHDR () to clean memory which is
aligned with its function name.

Cc: Liming Gao <liming.gao@intel.com>
Cc: Gary Lin <glin@suse.com>
Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Dandan Bi <dandan.bi@intel.com>
Reviewed-by: Eric Dong <eric.dong@intel.com>

diff --git a/BaseTools/Source/C/VfrCompile/VfrSyntax.g b/BaseTools/Source/C/VfrCompile/VfrSyntax.g
index 4b0a43606eacb6917d8682798628b3936aecd4a5..84dd2c3ed3fde43087f78f5e07fe3ac7f506f3d0 100644 (file)
--- a/BaseTools/Source/C/VfrCompile/VfrSyntax.g
+++ b/BaseTools/Source/C/VfrCompile/VfrSyntax.g
@@ -4086,7 +4086,15 @@ vfrStatementInvalidSaveRestoreDefaults :
 // Root expression extension function called by other function.\r
 //\r
 vfrStatementExpression [UINT32 RootLevel, UINT32 ExpOpCount = 0] :\r
-  << if ($RootLevel == 0) {mCIfrOpHdrIndex ++; if (mCIfrOpHdrIndex >= MAX_IFR_EXPRESSION_DEPTH) _PCATCH (VFR_RETURN_INVALID_PARAMETER, 0, "The depth of expression exceeds the max supported level 8!"); _CLEAR_SAVED_OPHDR ();} >>\r
+                                                       <<\r
+                                                          if ($RootLevel == 0) {\r
+                                                            mCIfrOpHdrIndex ++;\r
+                                                            if (mCIfrOpHdrIndex >= MAX_IFR_EXPRESSION_DEPTH) {\r
+                                                              _PCATCH (VFR_RETURN_INVALID_PARAMETER, 0, "The depth of expression exceeds the max supported level 8!");\r
+                                                            }\r
+                                                            _INIT_OPHDR_COND ();\r
+                                                          }\r
+                                                       >>\r
   andTerm[$RootLevel, $ExpOpCount]\r
   (\r
     L:OR andTerm[$RootLevel, $ExpOpCount]              << $ExpOpCount++; CIfrOr OObj(L->getLine()); >>\r
@@ -4990,6 +4998,7 @@ private:
   UINT8               mCIfrOpHdrIndex;\r
   VOID                _SAVE_OPHDR_COND (IN CIfrOpHeader &, IN BOOLEAN, UINT32 LineNo = 0);\r
   VOID                _CLEAR_SAVED_OPHDR (VOID);\r
+  VOID                _INIT_OPHDR_COND (VOID);\r
   BOOLEAN             _SET_SAVED_OPHDR_SCOPE (VOID);\r
 \r
 \r
@@ -5079,6 +5088,15 @@ EfiVfrParser::_SAVE_OPHDR_COND (
   }\r
 }\r
 \r
+VOID\r
+EfiVfrParser::_INIT_OPHDR_COND (\r
+  VOID\r
+  )\r
+{\r
+  mCIfrOpHdr[mCIfrOpHdrIndex]       = NULL;\r
+  mCIfrOpHdrLineNo[mCIfrOpHdrIndex] = 0;\r
+}\r
+\r
 VOID\r
 EfiVfrParser::_CLEAR_SAVED_OPHDR (\r
   VOID\r
@@ -5086,9 +5104,8 @@ EfiVfrParser::_CLEAR_SAVED_OPHDR (
 {\r
   if (mCIfrOpHdr[mCIfrOpHdrIndex] != NULL) {\r
     delete mCIfrOpHdr[mCIfrOpHdrIndex];\r
-    mCIfrOpHdr[mCIfrOpHdrIndex]     = NULL;\r
+    mCIfrOpHdr[mCIfrOpHdrIndex] = NULL;\r
   }\r
-  mCIfrOpHdrLineNo[mCIfrOpHdrIndex] = 0;\r
 }\r
 \r
 BOOLEAN\r