overwritten-before-use

Default severity: warning

A non-constant value assigned to a local variable but never read is often a forgotten error check or dead computation. The check follows values through control-flow joins and separately tracks each result of multi-value calls.

Bad

result := calculate(); result = calculateAgain()

Good

result := calculate(); use(result); result = calculateAgain()