FANDOM


このページを編集する際は,編集に関する方針に従ってください. 編集

概要 編集

引数 編集

実装 編集

380 /* The file name, line number or system header flags have changed, as
381    described in MAP.  */
382 
383 void
384 pp_file_change (const struct line_map *map)
385 {
386   const char *flags = "";
387 
388   if (flag_no_line_commands)
389     return;
390 
391   if (map != NULL)
392     {
393       if (print.first_time)
394         {
395           /* Avoid printing foo.i when the main file is foo.c.  */
396           if (!cpp_get_options (parse_in)->preprocessed)
397             print_line (map->start_location, flags);
398           print.first_time = 0;
399         }
400       else
401         {
402           /* Bring current file to correct line when entering a new file.  */
403           if (map->reason == LC_ENTER)
404             {
405               const struct line_map *from = INCLUDED_FROM (&line_table, map);
406               maybe_print_line (LAST_SOURCE_LINE_LOCATION (from));
407             }
408           if (map->reason == LC_ENTER)
409             flags = " 1";
410           else if (map->reason == LC_LEAVE)
411             flags = " 2";
412           print_line (map->start_location, flags);
413         }
414     }
415 }


リンク元

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。