Lines Matching defs:Uninitialized
1 //==- UninitializedValues.cpp - Find Uninitialized Values -------*- C++ --*-==//
10 // This file implements uninitialized values analysis for source-level CFGs.
88 Uninitialized = 0x2, /* 10 */
92 return v >= Uninitialized;
95 return v == Uninitialized;
366 // whether a variable is uninitialized, and there's no point counting it as a
396 // Squelch any detected load of an uninitialized value if
405 // Transfer function for uninitialized values analysis.
450 // the variable, we can say something stronger than 'may be uninitialized':
451 // we can say 'either it's used uninitialized or you have dead code'.
455 // the variable might still be uninitialized are followed. Since a variable
456 // can't transfer from being initialized to being uninitialized, this will
479 // Starting from the maybe-uninitialized use in block 9:
492 // 'n' is definitely uninitialized for two edges into block 7 (from blocks 2
494 // each case when 'b == false'), 'n' is used uninitialized.
531 // uninitialized.
539 // to a post-dominator block, and the variable is uninitialized on that
545 vals.getValue(Block, Succ, vd) == Uninitialized) {
650 // explicitly mark the variable as uninitialized. This allows code
655 // to deliberately leave a variable uninitialized. Different analysis
659 vals[VD] = Uninitialized;
664 // No initializer: the variable is now uninitialized. This matters
671 // FIXME: Mark the variable as uninitialized whenever its scope is
674 vals[VD] = Uninitialized;
681 // High-level "driver" logic for uninitialized values analysis.
729 // Mark all variables uninitialized at the entry.
734 vec[j] = Uninitialized;
754 // Run through the blocks one more time, and report uninitialized variabes.
