OpenGrok
Home
Sort by:
relevance
|
last modified time
|
path
Full Search
in project(s):
src
xsrc
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:inner_rhs
(Results
1 - 5
of
5
) sorted by relevancy
/src/external/gpl3/gcc/dist/gcc/analyzer/
sm-taint.cc
1168
const svalue *
inner_rhs
= binop_sval->get_arg1 ();
local
1172
if (tree inner_rhs_cst =
inner_rhs
->maybe_get_constant ())
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
.
4934
const svalue *
inner_rhs
= binop_sval->get_arg1 ();
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. */
4974
bool sat2 = add_constraint (
inner_rhs
, NE_EXPR, false_sval, ctxt)
[
all
...]
/src/external/gpl3/gcc/dist/gcc/
ipa-fnsummary.cc
1376
tree
inner_rhs
= get_base_address (rhs);
local
1381
if (!
inner_rhs
)
1382
inner_rhs
= rhs;
1387
if (unmodified_parm (fbi, stmt,
inner_rhs
, NULL))
1391
else if (TREE_CODE (
inner_rhs
) == ADDR_EXPR)
1393
tree op = get_base_address (TREE_OPERAND (
inner_rhs
, 0));
1410
if (TREE_CODE (
inner_rhs
) == MEM_REF
1411
&& unmodified_parm (fbi, stmt, TREE_OPERAND (
inner_rhs
, 0), NULL))
/src/external/gpl3/gcc.old/dist/gcc/
ipa-fnsummary.cc
1336
tree
inner_rhs
= get_base_address (rhs);
local
1341
if (!
inner_rhs
)
1342
inner_rhs
= rhs;
1347
if (unmodified_parm (fbi, stmt,
inner_rhs
, NULL))
1351
else if (TREE_CODE (
inner_rhs
) == ADDR_EXPR)
1353
tree op = get_base_address (TREE_OPERAND (
inner_rhs
, 0));
1370
if (TREE_CODE (
inner_rhs
) == MEM_REF
1371
&& unmodified_parm (fbi, stmt, TREE_OPERAND (
inner_rhs
, 0), NULL))
/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
.
3179
const svalue *
inner_rhs
= binop_sval->get_arg1 ();
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. */
3215
bool sat2 = add_constraint (
inner_rhs
, NE_EXPR, false_sval, ctxt)
[
all
...]
Completed in 75 milliseconds
Indexes created Sun Mar 01 05:31:48 UTC 2026