int str_add_line(str_t *str , FILE *stream ) { register char c ; int tmp ; int tmp___0 ; { #line 132 if (! str) { { #line 133 str = str_make(str); } } else #line 132 if (! str->str) { { #line 133 str = str_make(str); } } #line 134 if (! stream) { #line 135 return (1); } { #line 137 while (1) { while_continue: /* CIL Label */ ; { #line 139 tmp = _IO_getc(stream); #line 139 c = (char )tmp; } #line 141 if ((int )c == -1) { #line 142 return (2); } else { { #line 141 tmp___0 = ferror(stream); } #line 141 if (tmp___0) { #line 142 return (2); } } { #line 143 str_add_char(str, c); } #line 144 if ((int )c == 10) { #line 145 goto while_break; } } while_break___0: /* CIL Label */ ; } while_break: ; #line 148 return (0); } }
extern __inline __attribute__ ((__gnu_inline__)) int getchar (void) { return _IO_getc (stdin); }