Lints for ambiguous ! on the left hand side of a bitwise operation

CONFIGURING.md

@@ -40,6 +40,7 @@ Raised by DreamChecker:
 * `must_not_sleep` - `SpacemanDMM_should_not_sleep` directive
 * `redefined_proc` - `SpacemanDMM_can_be_redefined` directive
 * `ambiguous_in_lhs` - Raised on ambiguous operations on the left hand side of an `in` operation
+* `ambiguous_not_bitwise` - Raised on an ambiguous `!` on the left hand side of a bitwise operation
 * `no_typehint_implicit_new` - Raised on the use of `new` where no typehint is avaliable
 * `field_access_static_type` - Raised on using `.field_name` on a variable with no typehint
 * `proc_call_static_type` - Raised on using `.proc_name()` on a variable with no typehint

src/dreamchecker/lib.rs

@@ -1642,6 +1642,12 @@ impl<'o, 's> AnalyzeProc<'o, 's> {
             Expression::BinaryOp { op, lhs, rhs } => {
                 let lty = self.visit_expression(location, lhs, None, local_vars);
                 let rty = self.visit_expression(location, rhs, None, local_vars);
+                match op {
+                    BinaryOp::BitAnd |
+                    BinaryOp::BitOr |
+                    BinaryOp::BitXor => self.check_negated_bitwise(lhs, location, *op),
+                    _ => {}
+                }
                 self.visit_binary(lty, rty, *op)
             },
             Expression::AssignOp { lhs, rhs, .. } => {
@@ -2051,6 +2057,19 @@ impl<'o, 's> AnalyzeProc<'o, 's> {
         }
     }
 
+    // checks for bitwise operations on a negated LHS
+    fn check_negated_bitwise(&mut self, lhs: &dm::ast::Expression, location: Location, operator: BinaryOp) {
+        if matches!(lhs, Expression::Base { unary, .. } if unary.contains(&UnaryOp::Not)) {
+            error(location, format!("Ambiguous `!` on left side of bitwise `{}` operator", operator))
+            .with_errortype("ambiguous_not_bitwise")
+            .set_severity(Severity::Warning)
+            .with_note(location, format!("Did you mean to put !(x {} y)?", operator))
+            .with_note(location, format!("Did you mean to use the logical equivalent of `{}`?", operator))
+            .with_note(location, "Did you mean to use `~` instead of `!`?")
+            .register(self.context);
+        }
+    }
+
     fn visit_binary(&mut self, lhs: Analysis<'o>, rhs: Analysis<'o>, op: BinaryOp) -> Analysis<'o> {
         //println!("visit_binary: don't know anything about {}", op);
         if lhs.static_ty.is_list() {

src/dreamchecker/tests/operator_tests.rs

@@ -1,4 +1,3 @@
-
 extern crate dreamchecker as dc;
 
 use dc::test_helpers::check_errors_match;
@@ -54,3 +53,27 @@ fn operator_overload() {
 "##.trim();
     check_errors_match(code, OP_OVERLOAD_ERRORS);
 }
+
+pub const NOT_AMBIG_BITWISE_ERRORS: &[(u32, u16, &str)] = &[
+    (2, 8, "Ambiguous `!` on left side of bitwise `&` operator"),
+    (4, 8, "Ambiguous `!` on left side of bitwise `|` operator"),
+    (6, 8, "Ambiguous `!` on left side of bitwise `^` operator"),
+];
+
+#[test]
+fn ambigous_not_bitwise() {
+    let code = r##"
+/proc/test()
+    if (!1 & 0)
+        return
+    if (!1 | 0)
+        return
+    if (!1 ^ 0)
+        return
+    if (~1 & 0)
+        return
+    if (1++ & 1)
+        return
+"##.trim();
+    check_errors_match(code, NOT_AMBIG_BITWISE_ERRORS);
+}