Lines Matching refs:MODEL
24 /* Implementation of the region-based ternary model described in:
25 "A Memory Model for Static Analysis of C Programs"
506 Implemented in region-model-impl-calls.c. */
511 call_details (const gcall *call, region_model *model,
879 for the region model to use when emitting such warnings.
905 const region_model *model) = 0;
910 "LHS OP RHS" is added to the region model.
927 /* Hooks for clients to be notified when the region model doesn't
1058 const region_model *model) OVERRIDE
1060 m_inner->on_liveness_change (live_svalues, model);
1230 rejected_constraint (const region_model &model)
1231 : m_model (model)
1240 rejected_op_constraint (const region_model &model,
1242 : rejected_constraint (model),
1256 rejected_ranges_constraint (const region_model &model,
1258 : rejected_constraint (model),
1323 /* Attempt to add the constraint (LHS OP RHS) to MODEL.
1324 Verify that MODEL remains satisfiable. */
1326 #define ADD_SAT_CONSTRAINT(MODEL, LHS, OP, RHS) \
1328 bool sat = (MODEL).add_constraint (LHS, OP, RHS, NULL); \
1332 /* Attempt to add the constraint (LHS OP RHS) to MODEL.
1335 #define ADD_UNSAT_CONSTRAINT(MODEL, LHS, OP, RHS) \
1337 bool sat = (MODEL).add_constraint (LHS, OP, RHS, NULL); \
1344 region_model &model,
1349 region_model &model,
Indexes created Thu May 07 00:24:58 UTC 2026