Home | History | Annotate | Download | only in Analysis

Lines Matching full:variable

290 /// If E is an expression comprising a reference to a single variable, find that
291 /// variable.
386 // is not a compound-assignment, we will treat it as initializing the variable
388 // whether a variable is uninitialized, and there's no point counting it as a
475 // the variable, we can say something stronger than 'may be uninitialized':
480 // the variable might still be uninitialized are followed. Since a variable
483 // initialize the variable. We do not want to skip past loops, since their
542 // This block initializes the variable.
546 // This block declares the variable (uninitialized), and is reachable
547 // from a block that initializes the variable. We can't guarantee to
568 // variable.
573 // Scan the frontier, looking for blocks where the variable was
582 // to a post-dominator block, and the variable is uninitialized on that
650 // After a call to a function like setjmp or vfork, any variable which is
700 // explicitly mark the variable as uninitialized. This allows code
705 // to deliberately leave a variable uninitialized. Different analysis
708 // of the variable.
711 // Treat the new variable as initialized.
714 // No initializer: the variable is now uninitialized. This matters
721 // FIXME: Mark the variable as uninitialized whenever its scope is
773 /// variable. It is mainly used to prune out work during the final
783 /// Records if a CFGBlock had a potential use of an uninitialized variable.
786 /// Records if any CFGBlock had a potential use of an uninitialized variable.
798 /// Called when the uninitialized variable analysis detects the