| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm-taint.cc | 1166 const svalue *inner_lhs = binop_sval->get_arg0 (); local
1169 if (const svalue *before_cast = inner_lhs->maybe_undo_cast ())
1170 inner_lhs = before_cast;
1180 (unsigned)(INNER_LHS + CST_A) </<= UNSIGNED_CST_B
1181 and thus an optimized test of INNER_LHS (before any
1190 = sm_ctxt->get_state (stmt, inner_lhs);
1194 sm_ctxt->set_next_state (stmt, inner_lhs, m_stop);
|
| sm-taint.cc | 1166 const svalue *inner_lhs = binop_sval->get_arg0 (); local
1169 if (const svalue *before_cast = inner_lhs->maybe_undo_cast ())
1170 inner_lhs = before_cast;
1180 (unsigned)(INNER_LHS + CST_A) </<= UNSIGNED_CST_B
1181 and thus an optimized test of INNER_LHS (before any
1190 = sm_ctxt->get_state (stmt, inner_lhs);
1194 sm_ctxt->set_next_state (stmt, inner_lhs, m_stop);
|
| region-model.cc | 4877 LHS: ((bool)INNER_LHS INNER_OP INNER_RHS))
4881 LHS: CAST([long]int, ((bool)INNER_LHS INNER_OP INNER_RHS))
4884 by adding constraints for INNER_LHS INNEROP INNER_RHS.
4932 const svalue *inner_lhs = binop_sval->get_arg0 (); local
4956 /* ...and "(inner_lhs OP inner_rhs) == 0"
4957 then (inner_lhs OP inner_rhs) must have the same
4961 *out = add_constraint (inner_lhs, inner_op, inner_rhs, ctxt);
4969 /* ...and "(inner_lhs & inner_rhs) != 0"
4970 then both inner_lhs and inner_rhs must be true. */
4973 bool sat1 = add_constraint (inner_lhs, NE_EXPR, false_sval, ctxt)
[all...] |
| region-model.cc | 4877 LHS: ((bool)INNER_LHS INNER_OP INNER_RHS))
4881 LHS: CAST([long]int, ((bool)INNER_LHS INNER_OP INNER_RHS))
4884 by adding constraints for INNER_LHS INNEROP INNER_RHS.
4932 const svalue *inner_lhs = binop_sval->get_arg0 (); local
4956 /* ...and "(inner_lhs OP inner_rhs) == 0"
4957 then (inner_lhs OP inner_rhs) must have the same
4961 *out = add_constraint (inner_lhs, inner_op, inner_rhs, ctxt);
4969 /* ...and "(inner_lhs & inner_rhs) != 0"
4970 then both inner_lhs and inner_rhs must be true. */
4973 bool sat1 = add_constraint (inner_lhs, NE_EXPR, false_sval, ctxt)
[all...] |
| /src/external/gpl3/gcc/dist/gcc/ |
| ipa-fnsummary.cc | 1377 tree inner_lhs = get_base_address (lhs); local
1383 if (!inner_lhs)
1384 inner_lhs = lhs;
1449 if (TREE_CODE (inner_lhs) == PARM_DECL
1450 || TREE_CODE (inner_lhs) == RESULT_DECL
1451 || (TREE_CODE (inner_lhs) == MEM_REF
1452 && (unmodified_parm (fbi, stmt, TREE_OPERAND (inner_lhs, 0),
1454 || (TREE_CODE (TREE_OPERAND (inner_lhs, 0)) == SSA_NAME
1455 && SSA_NAME_VAR (TREE_OPERAND (inner_lhs, 0))
1457 (inner_lhs,
[all...] |
| ipa-fnsummary.cc | 1377 tree inner_lhs = get_base_address (lhs); local
1383 if (!inner_lhs)
1384 inner_lhs = lhs;
1449 if (TREE_CODE (inner_lhs) == PARM_DECL
1450 || TREE_CODE (inner_lhs) == RESULT_DECL
1451 || (TREE_CODE (inner_lhs) == MEM_REF
1452 && (unmodified_parm (fbi, stmt, TREE_OPERAND (inner_lhs, 0),
1454 || (TREE_CODE (TREE_OPERAND (inner_lhs, 0)) == SSA_NAME
1455 && SSA_NAME_VAR (TREE_OPERAND (inner_lhs, 0))
1457 (inner_lhs,
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/ |
| ipa-fnsummary.cc | 1337 tree inner_lhs = get_base_address (lhs); local
1343 if (!inner_lhs)
1344 inner_lhs = lhs;
1409 if (TREE_CODE (inner_lhs) == PARM_DECL
1410 || TREE_CODE (inner_lhs) == RESULT_DECL
1411 || (TREE_CODE (inner_lhs) == MEM_REF
1412 && (unmodified_parm (fbi, stmt, TREE_OPERAND (inner_lhs, 0),
1414 || (TREE_CODE (TREE_OPERAND (inner_lhs, 0)) == SSA_NAME
1415 && SSA_NAME_VAR (TREE_OPERAND (inner_lhs, 0))
1417 (inner_lhs,
[all...] |
| ipa-fnsummary.cc | 1337 tree inner_lhs = get_base_address (lhs); local
1343 if (!inner_lhs)
1344 inner_lhs = lhs;
1409 if (TREE_CODE (inner_lhs) == PARM_DECL
1410 || TREE_CODE (inner_lhs) == RESULT_DECL
1411 || (TREE_CODE (inner_lhs) == MEM_REF
1412 && (unmodified_parm (fbi, stmt, TREE_OPERAND (inner_lhs, 0),
1414 || (TREE_CODE (TREE_OPERAND (inner_lhs, 0)) == SSA_NAME
1415 && SSA_NAME_VAR (TREE_OPERAND (inner_lhs, 0))
1417 (inner_lhs,
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| region-model.cc | 3122 LHS: ((bool)INNER_LHS INNER_OP INNER_RHS))
3126 LHS: CAST([long]int, ((bool)INNER_LHS INNER_OP INNER_RHS))
3129 by adding constraints for INNER_LHS INNEROP INNER_RHS.
3177 const svalue *inner_lhs = binop_sval->get_arg0 (); local
3197 /* ...and "(inner_lhs OP inner_rhs) == 0"
3198 then (inner_lhs OP inner_rhs) must have the same
3202 *out = add_constraint (inner_lhs, inner_op, inner_rhs, ctxt);
3210 /* ...and "(inner_lhs & inner_rhs) != 0"
3211 then both inner_lhs and inner_rhs must be true. */
3214 bool sat1 = add_constraint (inner_lhs, NE_EXPR, false_sval, ctxt)
[all...] |
| region-model.cc | 3122 LHS: ((bool)INNER_LHS INNER_OP INNER_RHS))
3126 LHS: CAST([long]int, ((bool)INNER_LHS INNER_OP INNER_RHS))
3129 by adding constraints for INNER_LHS INNEROP INNER_RHS.
3177 const svalue *inner_lhs = binop_sval->get_arg0 (); local
3197 /* ...and "(inner_lhs OP inner_rhs) == 0"
3198 then (inner_lhs OP inner_rhs) must have the same
3202 *out = add_constraint (inner_lhs, inner_op, inner_rhs, ctxt);
3210 /* ...and "(inner_lhs & inner_rhs) != 0"
3211 then both inner_lhs and inner_rhs must be true. */
3214 bool sat1 = add_constraint (inner_lhs, NE_EXPR, false_sval, ctxt)
[all...] |
