[splint.git] / test / strchr / strchr.c


void func () {
  char *c;
  c = strchr("dfdfedfd", 'e');
  *c = 'd'; /* modification of observer, possibly null */
}

void fixline (char * line)
{
  char *p;
 
  if ( (p = strchr(line, '\n')) ) 
  {
    *p = '\0';
  }
  
}
Commit	Line	Data
03d670b6	1
088320ea	2	void func () {
	3	char *c;
	4	c = strchr("dfdfedfd", 'e');
0bf5022d	5	c = 'd'; / modification of observer, possibly null */
088320ea	6	}
	7
	8	void fixline (char * line)
	9	{
	10	char *p;
	11
	12	if ( (p = strchr(line, '\n')) )
	13	{
	14	*p = '\0';
	15	}
	16
	17	}