codeql/cpp/ql/test/experimental/library-tests/rangeanalysis/strlenliteral/test.cpp

unsigned long strlen(const char *);

void func(const char *s) {
  strlen("literal");
  strlen(s);
}