Re: Problem report #13 FALSE

[Dan Nicolaescu]

Kenichi Handa <address@hidden> writes:

  > > Event var_compare_op: Added "(coding)->cmp_data" due to comparison 
"(coding)->cmp_data == 0"
  > > Also see events: [var_deref_model]
  > > At conditional (1): "(coding)->cmp_data == 0" taking true path
  >
  > > 6435        if (coding->type != coding_type_ccl
  > > 6436            && (! coding->cmp_data || coding->cmp_data->used == 0))
  > > 6437          {
  >
  > Does the checker require it to be writen as below?
  >
  > > 6436            && (coding->cmp_data ? coding->cmp_data->used == 0 : 1))

I don't know...