Home | History | Annotate | Download | only in analyzer

Lines Matching defs:ext_state

87 				   const extrinsic_state &ext_state)
681 					      const extrinsic_state &ext_state)
698 	      state_t arg_state = map.get_state (arg, ext_state);
723 	      state_t arg0_state = map.get_state (arg0, ext_state);
724 	      state_t arg1_state = map.get_state (arg1, ext_state);
1042   const extrinsic_state *ext_state = ctxt->get_ext_state ();
1043   if (!ext_state)
1060 	      state = smap->get_state (index, *ext_state);
1077 	      state = smap->get_state (offset, *ext_state);
1107 	      state = smap->get_state (size_sval, *ext_state);
1148   const extrinsic_state *ext_state = ctxt->get_ext_state ();
1149   if (!ext_state)
1153     state = smap->get_state (size_in_bytes, *ext_state);