awk: strings cannot contain '\0'

fox0 · Sep 6, 2024 · 682f5b0 · 682f5b0
1 parent 61292dd
commit 682f5b0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/awk/src/compiler.rs b/awk/src/compiler.rs
@@ -231,6 +231,9 @@ fn parse_escape_sequence(iter: &mut Chars) -> Result<(char, Option<char>), Strin
                     }
                 }
             }
+            if char_code == 0 {
+                return Err("invalid escape sequence: \\0".to_string());
+            }
             // FIXME: I don't think this is correct. We should also consider multi-byte characters
             char::from_u32(char_code).ok_or("invalid character")?
         }