False Positive in Uninitialized Value Report

[thanhtoantnt]

I run infer with the following example using infer -- clang example.c

struct struct_ex {
	int arg0;
	int arg1;
	int arg2;
};

struct struct_ex assign_fields(struct struct_ex value)
{
	return value;
}

struct struct_ex error_triggering_fun(struct struct_ex args)
{
	struct struct_ex value = args;

	return value;
}

static struct struct_ex foo(struct struct_ex value)
{
	struct struct_ex args;
	args = assign_fields(value);
	return error_triggering_fun(args);
}

int main(){
    return 0;
}

infer reports an error which I think is a false positive since all fields of the data structure are assigned values.

uninit_ex.c:23: error: Uninitialized Value
  `args.arg0` is read without initialization during the call to `error_triggering_fun()`. 
  21.   struct struct_ex args;
  22.   args = assign_fields(value);
  23.   return error_triggering_fun(args);
              ^
  24. }