
This should not be needed since we only use the returned pointer if it is larger than the string passed to strchr(). Quiets a warning from Infer.
This should not be needed since we only use the returned pointer if it is larger than the string passed to strchr(). Quiets a warning from Infer.