Re: "Warning: Cannot prove that 'result' is initialized"

[rxi]

Thanks for the solution and explanation, stisa! The change you suggested solved 
the problem.