Query module MoveWithSideEffects

id
cbl/write-then-read-in-move
name
MOVE may not assign values as expected
description
Moving a value to a data item does not make that value available in further uses of that data item in the same MOVE statement.
kind
problem
problem.severity
warning
precision
high
tags
correctness

Imports

Predicates