Searched refs:transitivity (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.cc770 /* Handle transitivity of ordering by adding additional constraints
821 /* Otherwise, check for transitivity. */
847 /* Otherwise, add the constraint implied by transitivity. */
879 /* Otherwise, add the constraint implied by transitivity. */
1813 /* Test transitivity of conditions. */
2232 run_constraint_manager_tests (bool transitivity) argument
2235 flag_analyzer_transitivity = transitivity;
2240 /* These selftests assume transitivity. */
2256 /* Run the tests twice: with and without transitivity. */
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/
H A Dconstraint-manager.cc1991 /* Handle transitivity of ordering by adding additional constraints
2042 /* Otherwise, check for transitivity. */
2068 /* Otherwise, add the constraint implied by transitivity. */
2100 /* Otherwise, add the constraint implied by transitivity. */
2821 thus implicit. But does this break transitivity? */
2925 /* If -fanalyzer-transitivity is off, we can encounter cases
3444 /* Test transitivity of conditions. */
4389 run_constraint_manager_tests (bool transitivity) argument
4392 flag_analyzer_transitivity = transitivity;
4398 /* These selftests assume transitivity
[all...]

Completed in 90 milliseconds