Extended Description
#include <stdio.h>
#include <string.h>
void f(const char *s){
char foo [] = "hello\n";
printf("%lu\n", strlen(foo));
foo[0] = '\0';
printf("%lu\n", strlen(foo));
}
https://godbolt.org/z/T1m9UM
Looks like GCC nicely determines the strlen at compile time. Seems nice to have.