> > Also including Theo on this, he is the major industrial user of this driver now.
> 
> Thanks for the Cc; I agree with your reading of the code and don't see
> the issue.

Likely a false positive from static code analysis.