Home | History | Annotate | Download | only in Analysis

Lines Matching full:know

73     /// overdefined - This value is not known to be constant, and we know that
589 // then we know that the pointer can't be NULL.
624 // Loop over all of our predecessors, merging what we know from them into
664 // Loop over all of our predecessors, merging what we know from them into
782 // know that v != 0.
792 // If V is the condition of the branch itself, then we know exactly what
805 // We know that V has the RHS constant if this is a true SETEQ or
841 // If the edge was formed by a switch on the value, then we may know exactly
1073 // If we know the value is a constant, evaluate the conditional.