HomeSort by: relevance | last modified time | path
    Searched defs:new_p_sval (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
region-model.cc 5331 const svalue *new_p_sval = model.get_rvalue (p, NULL); local
5332 ASSERT_EQ (new_p_sval->get_kind (), SK_POISONED);
5333 ASSERT_EQ (new_p_sval->dyn_cast_poisoned_svalue ()->get_poison_kind (),
  /src/external/gpl3/gcc/dist/gcc/analyzer/
region-model.cc 8060 const svalue *new_p_sval = model.get_rvalue (p, NULL); local
8061 ASSERT_EQ (new_p_sval->get_kind (), SK_POISONED);
8062 ASSERT_EQ (new_p_sval->dyn_cast_poisoned_svalue ()->get_poison_kind (),

Completed in 33 milliseconds