486   const char *format_ptr, *p;  in copy_rtx_for_iterators()  local
498   format_ptr = GET_RTX_FORMAT (GET_CODE (original));  in copy_rtx_for_iterators()
499   for (i = 0; format_ptr[i] != 0; i++)  in copy_rtx_for_iterators()
500     switch (format_ptr[i])  in copy_rtx_for_iterators()
1587   const char *format_ptr;  in read_rtx_code()  local
1623   format_ptr = GET_RTX_FORMAT (code);  in read_rtx_code()
1673   for (int idx = 0; format_ptr[idx] != 0; idx++)  in read_rtx_code()
1750   const char *format_ptr = GET_RTX_FORMAT (code);  in read_rtx_operand()  local
1754   switch (format_ptr[idx])  in read_rtx_operand()
1836 	else if (format_ptr[idx] == 'E')  in read_rtx_operand()
1858 	    XSTR (return_rtx, idx) = (format_ptr[idx] == 'S' ? NULL : "");  in read_rtx_operand()
1866 	star_if_braced = (format_ptr[idx] == 'T');  in read_rtx_operand()