Home
last modified time | relevance | path

Searched refs:get_ctxt (Results 1 – 3 of 3) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model-impl-calls.cc234 const region *new_reg = create_region_for_alloca (size_sval, cd.get_ctxt ()); in impl_call_alloca()
385 = create_region_for_heap_alloc (prod_sval, cd.get_ctxt ()); in impl_call_calloc()
421 if (!add_constraint (status, EQ_EXPR, integer_zero_node, cd.get_ctxt ())) in impl_call_error()
439 set_value (base_reg, new_sval, cd.get_ctxt ()); in impl_call_fgets()
453 set_value (base_reg, new_sval, cd.get_ctxt ()); in impl_call_fread()
492 = create_region_for_heap_alloc (size_sval, cd.get_ctxt ()); in impl_call_malloc()
512 cd.get_ctxt ()); in impl_call_memcpy()
514 cd.get_ctxt ()); in impl_call_memcpy()
523 = get_store_value (sized_src_reg, cd.get_ctxt ()); in impl_call_memcpy()
524 set_value (sized_dest_reg, src_contents_sval, cd.get_ctxt ()); in impl_call_memcpy()
[all …]
H A Dregion-model.h515 region_model_context *get_ctxt () const { return m_ctxt; } in get_ctxt() function
H A Dsm-malloc.cc2126 region_model_context *ctxt = cd.get_ctxt (); in on_realloc_with_move()