Home | History | Annotate | Download | only in Analysis

Lines Matching full:uninitialized

1 //==- UninitializedValues.cpp - Find Uninitialized Values -------*- C++ --*-==//
10 // This file implements uninitialized values analysis for source-level CFGs.
85 Uninitialized = 0x2, /* 10 */
89 return v >= Uninitialized;
92 return v == Uninitialized;
325 // Transfer function for uninitialized values analysis.
351 /// was uninitialized. Normally this results in a warning, but it is
353 /// propagate the uninitialized value.
455 // explicitly mark the variable as uninitialized. This allows code
460 // to deliberately leave a variable uninitialized. Different analysis
469 // Propagate uninitialized value, but don't immediately report
471 vals[vd] = Uninitialized;
533 // Record this load of an uninitialized value. Normally this
544 // Squelch any detected load of an uninitialized value if
560 // in the CFG. We delay processing of reporting many loads of uninitialized
568 // If we reach here, we have seen a load of an uninitialized value
593 // High-level "driver" logic for uninitialized values analysis.
663 // Mark all variables uninitialized at the entry.
671 vec[j] = Uninitialized;
691 // Run through the blocks one more time, and report uninitialized variabes.