Resolve "Use of non-defined mask when translating lazy modulo"
Previously, the arguments of the eq
and neq
operations could be flagged as needing precise values even when these were arrays. Consequently, non-defined masks were applied to arrays in the C translation. Now, the arguments are checked before flagging.