7033

Thanks Max Bernstein for pointing out this bug:
  https://git.sr.ht/~akkartik/mu-x86_64/commit/9e2ef1c90d

1 files changed, 4 insertions, 2 deletions

diff --git a/001help.cc b/001help.cc
index 5fd13a7b..87466acd 100644
--- a/001help.cc
+++ b/001help.cc
@@ -95,8 +95,10 @@ void init_help() {
 }
 
 :(code)
-bool is_equal(char* s, const char* lit) {
-  return strncmp(s, lit, strlen(lit)) == 0;
+bool is_equal(const char* s, const char* lit) {
+  size_t len = strlen(lit);
+  if (strlen(s) != len) return false;
+  return strncmp(s, lit, len) == 0;
 }
 
 bool starts_with(const string& s, const string& pat) {