C: strchr does not return null when looking for \0 about infer

[phomes]

Here is an example that triggers the warning. e cannot be NULL here.

#include <stdlib.h>
#include <string.h>

int main(int argc, char **argv)
{
  char *s, *e;

  s = strdup("test");
  e = strchr(s, 0);

  *e = 0; /* infer warns about NULL_DEREFERENCE here */

  free(s);
  return 0;
}

[dulmarod]

Sounds like something we can fix in the model. I'll have a look at it. Thanks for reporting.

[sk-]

Note that the warning should be avoided only in case that the char* corresponds to a NULL-terminated string.