search

florianschanda / miss_hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
GNU General Public License v3.0
165 stars 20 forks source link

mis-classification of & and | outside top-level logic #139

Closed florianschanda closed 4 years ago

florianschanda commented 4 years ago

While if and while guards add short-circuit semantics to & and |, outside the top level logic this should not work. For example here only the & has short-circuit semantics:

    if sum(a | b) & sum(c | d)

In this example nothing has short-circuit semantics:

    if [a | b, b & c] == [b | c, c & d]