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()