А> Ни один компилятор не смог "догадаться", что после вызова strchr адрес строки s все еще находится в стеке, и не нужно заталкивать его еще раз

Такую оптимизацию делать нельзя, потому что значение в стеке может быть изменено самой функцией.

void func(char * p)
{
  p = strchr(p, 'b'); //меняем переданный параметр
  ...
}
void test()
{
  char *q = "abcd";
  func(q);
  func(q);
}