Home | History | Annotate | Download | only in analyzer

Lines Matching defs:canonicalize

539   canonicalize ();
549   canonicalize ();
596   canonicalize ();
604 bounded_ranges::canonicalize ()
1176       /* FIXME: should we canonicalize which svalue is the constant
1224 equiv_class::canonicalize ()
1231    Subroutine of constraint_manager::canonicalize, for removing
2771 /* Comparator for use by constraint_manager::canonicalize.
2790 /* Comparator for use by constraint_manager::canonicalize.
2812 constraint_manager::canonicalize ()
2818     ec->canonicalize ();
3943       model.canonicalize ();
3944       merged.canonicalize ();
3973     model.canonicalize ();
3991     model.canonicalize ();
4010     model.canonicalize ();
4028     model.canonicalize ();
4046     model.canonicalize ();
4065     model.canonicalize ();