//===-- strchr.c ----------------------------------------------------------===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

char *strchr(const char *p, int ch) {
  char c;

  c = ch;
  for (;; ++p) {
    if (*p == c) {
      return ((char *)p);
    } else if (*p == '\0') {
      return 0;
    }
  }
  /* NOTREACHED */  
  return 0;
}