Lines Matching defs:Uninitialized
1 //==- UninitializedValues.cpp - Find Uninitialized Values -------*- C++ --*-==//
10 // This file implements uninitialized values analysis for source-level CFGs.
92 Uninitialized = 0x2, /* 10 */
96 return v >= Uninitialized;
99 return v == Uninitialized;
390 // whether a variable is uninitialized, and there's no point counting it as a
420 // Squelch any detected load of an uninitialized value if
429 // Transfer function for uninitialized values analysis.
477 // the variable, we can say something stronger than 'may be uninitialized':
478 // we can say 'either it's used uninitialized or you have dead code'.
482 // the variable might still be uninitialized are followed. Since a variable
483 // can't transfer from being initialized to being uninitialized, this will
506 // Starting from the maybe-uninitialized use in block 9:
519 // 'n' is definitely uninitialized for two edges into block 7 (from blocks 2
521 // each case when 'b == false'), 'n' is used uninitialized.
558 // uninitialized.
566 // to a post-dominator block, and the variable is uninitialized on that
572 vals.getValue(Block, Succ, vd) == Uninitialized) {
686 // explicitly mark the variable as uninitialized. This allows code
691 // to deliberately leave a variable uninitialized. Different analysis
695 vals[VD] = Uninitialized;
700 // No initializer: the variable is now uninitialized. This matters
707 // FIXME: Mark the variable as uninitialized whenever its scope is
710 vals[VD] = Uninitialized;
725 // High-level "driver" logic for uninitialized values analysis.
756 /// to detect when a CFGBlock has any *potential* use of an uninitialized
767 /// Records if a CFGBlock had a potential use of an uninitialized variable.
770 /// Records if any CFGBlock had a potential use of an uninitialized variable.
782 /// Called when the uninitialized variable analysis detects the
809 // Mark all variables uninitialized at the entry.
814 vec[j] = Uninitialized;
840 // Run through the blocks one more time, and report uninitialized variables.
