是的，编译器有时候会无法诊断缺少返回的情况。这通常发生在以下情况下：

1. 隐式返回：在某些编程语言中，如果函数没有明确的返回语句，编译器会隐式地将函数的最后一个表达式作为返回值。这意味着如果最后一个表达式没有返回值，编译器可能无法检测到缺少返回的情况。例如，在JavaScript中：

function foo() {
  let x = 1;
  if (x > 0) {
    return "positive";
  }
  // 缺少返回语句
}

在这个例子中，当x小于等于0时，函数没有返回值，但是编译器并不会报错。

解决方法： 明确指定函数的返回类型，并确保函数中的每个执行路径都有返回语句。在上述示例中，可以通过添加一个默认的返回语句来解决这个问题：

function foo(): string {
  let x = 1;
  if (x > 0) {
    return "positive";
  }
  return "non-positive";
}

2. 间接返回：有些情况下，函数的返回语句被包裹在条件语句或循环中，编译器无法分析所有可能的执行路径，因此无法诊断缺少返回的情况。例如，在C语言中：

int foo(int x) {
  if (x > 0) {
    return 1;
  }
  // x <= 0时缺少返回语句
}

在这个例子中，当x小于等于0时，函数没有返回值，但是编译器可能无法检测到。

解决方法： 确保函数的每个执行路径都有返回语句，并在必要的情况下使用条件语句或循环来处理不同的返回情况。在上述示例中，可以通过添加一个默认的返回语句来解决这个问题：

int foo(int x) {
  if (x > 0) {
    return 1;
  }
  return 0;
}

总之，为了避免编译器无法诊断缺少返回的情况，我们应该明确指定函数的返回类型，并确保函数中的每个执行路径都有返回语句。