| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| svalue.cc | 219 if (const binop_svalue *binop_sval = dyn_cast_binop_svalue ())
237 if (const binop_svalue *binop_sval = dyn_cast_binop_svalue ())
268 if (const binop_svalue *other_binop_sval
443 const binop_svalue *binop_sval1 = (const binop_svalue *)sval1;
444 const binop_svalue *binop_sval2 = (const binop_svalue *)sval2;
689 const binop_svalue *binop_sval
690 = as_a <const binop_svalue *> (iter);
1167 /* class binop_svalue : public svalue. *
[all...] |
| region-model-reachability.cc | 226 const binop_svalue *binop_sval = (const binop_svalue *)sval;
|
| svalue.h | 68 binop_svalue (SK_BINOP): binary operation on two svalues
117 virtual const binop_svalue *
674 class binop_svalue : public svalue class in namespace:ana
677 /* A support class for uniquifying instances of binop_svalue. */
714 binop_svalue (tree type, enum tree_code op, function in class:ana::binop_svalue
726 const binop_svalue *dyn_cast_binop_svalue () const FINAL OVERRIDE
751 is_a_helper <const binop_svalue *>::test (const svalue *sval)
756 template <> struct default_hash_traits<binop_svalue::key_t>
757 : public member_function_hash_traits<binop_svalue::key_t>
|
| region-model-manager.cc | 431 if (const binop_svalue *binop = arg->dyn_cast_binop_svalue ())
729 if (const binop_svalue *binop = arg0->dyn_cast_binop_svalue ())
745 if (const binop_svalue *binop = arg0->dyn_cast_binop_svalue ())
779 binop_svalue::key_t key (type, op, arg0, arg1);
780 if (binop_svalue **slot = m_binop_values_map.get (key))
782 binop_svalue *binop_sval = new binop_svalue (type, op, arg0, arg1);
1767 log_uniq_map (logger, show_objs, "binop_svalue", m_binop_values_map);
|
| analyzer.h | 47 class binop_svalue;
|
| region-model.h | 217 virtual void visit_binop_svalue (const binop_svalue *) {}
414 typedef hash_map<binop_svalue::key_t, binop_svalue *> binop_values_map_t;
|
| sm-taint.cc | 708 const binop_svalue *binop_sval = as_a <const binop_svalue *> (sval);
|
| region-model.cc | 2539 const binop_svalue *binop_sval
2540 = as_a <const binop_svalue *> (ptr_sval);
3044 else if (const binop_svalue *binop = lhs->dyn_cast_binop_svalue ())
3171 const binop_svalue *binop_sval = outer_lhs->dyn_cast_binop_svalue ();
3398 if (const binop_svalue *binop_sval = sval->dyn_cast_binop_svalue ())
5050 const binop_svalue *binop = four_times_x_init->dyn_cast_binop_svalue ();
|
| constraint-manager.cc | 1806 if (const binop_svalue *lhs_binop = lhs->dyn_cast_binop_svalue ())
|
| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| region-model-reachability.cc | 222 const binop_svalue *binop_sval = (const binop_svalue *)sval;
|
| svalue.cc | 174 const binop_svalue *sval = (const binop_svalue *)this;
321 if (const binop_svalue *binop_sval = dyn_cast_binop_svalue ())
339 if (const binop_svalue *binop_sval = dyn_cast_binop_svalue ())
371 if (const binop_svalue *other_binop_sval
548 const binop_svalue *binop_sval1 = (const binop_svalue *)sval1;
549 const binop_svalue *binop_sval2 = (const binop_svalue *)sval2;
801 const binop_svalue *binop_sva
[all...] |
| region-model-manager.cc | 485 if (const binop_svalue *binop = arg->dyn_cast_binop_svalue ())
705 if (const binop_svalue *binop = arg0->dyn_cast_binop_svalue ())
802 if (const binop_svalue *binop = arg0->dyn_cast_binop_svalue ())
815 if (const binop_svalue *binop = arg0->dyn_cast_binop_svalue ())
826 if (const binop_svalue *binop = arg0->dyn_cast_binop_svalue ())
853 if (const binop_svalue *binop0 = arg0->dyn_cast_binop_svalue ())
854 if (const binop_svalue *binop1 = arg1->dyn_cast_binop_svalue ())
874 if (const binop_svalue *binop0 = arg0->dyn_cast_binop_svalue ())
938 binop_svalue::key_t key (type, op, arg0, arg1);
939 if (binop_svalue **slot = m_binop_values_map.get (key)
[all...] |
| region-model-manager.h | 233 typedef hash_map<binop_svalue::key_t, binop_svalue *> binop_values_map_t;
|
| svalue.h | 70 binop_svalue (SK_BINOP): binary operation on two svalues
119 virtual const binop_svalue *
721 class binop_svalue : public svalue class in namespace:ana
724 /* A support class for uniquifying instances of binop_svalue. */
761 binop_svalue (symbol::id_t id, tree type, enum tree_code op, function in class:ana::binop_svalue
774 const binop_svalue *dyn_cast_binop_svalue () const final override
799 is_a_helper <const binop_svalue *>::test (const svalue *sval)
804 template <> struct default_hash_traits<binop_svalue::key_t>
805 : public member_function_hash_traits<binop_svalue::key_t>
|
| call-summary.cc | 319 const binop_svalue *binop_summary_sval
320 = as_a <const binop_svalue *> (summary_sval);
|
| region.cc | 251 const binop_svalue &binop_sval ((const binop_svalue &)sval);
263 const binop_svalue &inner_binop_sval
264 ((const binop_svalue &)*binop_sval.get_arg0 ());
|
| region-model.cc | 1538 if (const binop_svalue *binop_sval = num_bytes_sval->dyn_cast_binop_svalue ())
2809 const binop_svalue *binop_sval
2810 = as_a <const binop_svalue *> (ptr_sval);
3296 void visit_binop_svalue (const binop_svalue *sval) final override
3385 const binop_svalue *binop_sval = capacity_sval->dyn_cast_binop_svalue ();
3398 const binop_svalue *lhs_binop_sval
4604 else if (const binop_svalue *binop = lhs->dyn_cast_binop_svalue ())
4659 if (const binop_svalue *binop = lhs->dyn_cast_binop_svalue ())
4785 region_model::symbolic_greater_than (const binop_svalue *bin_a,
4791 if (const binop_svalue *bin_b = dyn_cast <const binop_svalue *> (b)
[all...] |
| sm-taint.cc | 935 const binop_svalue *binop_sval = as_a <const binop_svalue *> (sval);
1163 if (const binop_svalue *binop_sval
|
| analyzer.h | 52 class binop_svalue;
|
| bounds-checking.cc | 1198 const binop_svalue *binop_sval = (const binop_svalue *)sval;
|
| region-model.h | 226 virtual void visit_binop_svalue (const binop_svalue *) {}
405 tristate symbolic_greater_than (const binop_svalue *a,
|
| constraint-manager.cc | 1811 if (const binop_svalue *lhs_binop = lhs->dyn_cast_binop_svalue ())
2276 void visit_binop_svalue (const binop_svalue *sval)
2647 const binop_svalue *iter_binop
2648 = as_a <const binop_svalue *> (ec_sval);
|
| access-diagram.cc | 2768 const binop_svalue *binop = as_bytes->dyn_cast_binop_svalue ();
|
