Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix semantically identical mutation on negating or assignment #1240

Closed
mbj opened this issue Jul 15, 2021 · 0 comments · Fixed by #1252
Closed

Fix semantically identical mutation on negating or assignment #1240

mbj opened this issue Jul 15, 2021 · 0 comments · Fixed by #1252
Labels
bug mutation

Comments

@mbj
Copy link
Owner

mbj commented Jul 15, 2021

This mutation is semantically irrelevant, if

   something
-  c = a or b
+  !c = a || b
   use(c)

and should not be emitted.
mbj added a commit that referenced this issue Aug 29, 2021
@mbj
Remove useless binary left negation
7243e40 
[Fix #1240]

* This orthogonal is not universal, especially in assignment cases.
@mbj mbj mentioned this issue Aug 29, 2021
Merged
mbj added a commit that referenced this issue Aug 29, 2021
@mbj
Remove useless binary left negation
f21800a 
[Fix #1240]

* This orthogonal is not universal, especially in assignment cases.
@mbj mbj closed this as completed in #1252 Aug 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug mutation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove useless binary left negation mbj/mutant
1 participant
@mbj