In the attached file, Splint reports a warning "An rvalue is used that may not be initialized to a value on some execution path. (Use -usedef to inhibit warning)" even though this is not the case.
example file to recreate issue
This is a false positive.
Log in to post a comment.
example file to recreate issue
This is a false positive.