1 //==- UninitializedValues.cpp - Find Uninitialized Values -------*- C++ --*-==//
10 // This file implements uninitialized values analysis for source-level CFGs.
93              Uninitialized = 0x2,   /* 10 */  enumerator
97   return v >= Uninitialized;  in isUninitialized()
100   return v == Uninitialized;  in isAlwaysUninit()
421   // whether a variable is uninitialized, and there's no point counting it as a  in VisitBinaryOperator()
477       // Squelch any detected load of an uninitialized value if  in VisitCastExpr()
486 // Transfer function for uninitialized values analysis.
534     // the variable, we can say something stronger than 'may be uninitialized':  in getUninitUse()
535     // we can say 'either it's used uninitialized or you have dead code'.  in getUninitUse()
539     // the variable might still be uninitialized are followed. Since a variable  in getUninitUse()
540     // can't transfer from being initialized to being uninitialized, this will  in getUninitUse()
563     // Starting from the maybe-uninitialized use in block 9:  in getUninitUse()
576     // 'n' is definitely uninitialized for two edges into block 7 (from blocks 2  in getUninitUse()
578     // each case when 'b == false'), 'n' is used uninitialized.  in getUninitUse()
604             vals.getValue(B, nullptr, vd) == Uninitialized) {  in getUninitUse()
605           // This block declares the variable (uninitialized), and is reachable  in getUninitUse()
633     // uninitialized.  in getUninitUse()
641         // to a post-dominator block, and the variable is uninitialized on that  in getUninitUse()
647               vals.getValue(Block, Succ, vd) == Uninitialized) {  in getUninitUse()
759         // explicitly mark the variable as uninitialized. This allows code  in VisitDeclStmt()
764         // to deliberately leave a variable uninitialized. Different analysis  in VisitDeclStmt()
768         vals[VD] = Uninitialized;  in VisitDeclStmt()
773         // No initializer: the variable is now uninitialized. This matters  in VisitDeclStmt()
780         // FIXME: Mark the variable as uninitialized whenever its scope is  in VisitDeclStmt()
783         vals[VD] = Uninitialized;  in VisitDeclStmt()
798 // High-level "driver" logic for uninitialized values analysis.
831 /// to detect when a CFGBlock has any *potential* use of an uninitialized
842   /// Records if a CFGBlock had a potential use of an uninitialized variable.
845   /// Records if any CFGBlock had a potential use of an uninitialized variable.
857   /// Called when the uninitialized variable analysis detects the
884   // Mark all variables uninitialized at the entry.  in runUninitializedVariablesAnalysis()
889     vec[j] = Uninitialized;  in runUninitializedVariablesAnalysis()
915   // Run through the blocks one more time, and report uninitialized variables.  in runUninitializedVariablesAnalysis()