On: How Tail Call Optimization Works

[murderfs]

No. Arguments that are trivial types can still depend on other objects not being destroyed.

  void foo(const char* str) {
    if (*str == '\0') return;
    printf("%c", str[0]);
    std::string x = str + 1;
    return foo(x.c_str());
  }