comparison gcc/ada/usage.adb @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- U S A G E -- 5 -- U S A G E --
6 -- -- 6 -- --
7 -- B o d y -- 7 -- B o d y --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
300 -- Line for -gnath switch 300 -- Line for -gnath switch
301 301
302 Write_Switch_Char ("h"); 302 Write_Switch_Char ("h");
303 Write_Line ("Output this usage (help) information"); 303 Write_Line ("Output this usage (help) information");
304 304
305 -- Line for -gnatH switch
306
307 Write_Switch_Char ("H");
308 Write_Line ("Legacy elaboration checking mode enabled");
309
305 -- Line for -gnati switch 310 -- Line for -gnati switch
306 311
307 Write_Switch_Char ("i?"); 312 Write_Switch_Char ("i?");
308 Write_Line ("Identifier char set (?=1/2/3/4/5/8/9/p/f/n/w)"); 313 Write_Line ("Identifier char set (?=1/2/3/4/5/8/9/p/f/n/w)");
309 314
314 319
315 -- Line for -gnatj switch 320 -- Line for -gnatj switch
316 321
317 Write_Switch_Char ("jnn"); 322 Write_Switch_Char ("jnn");
318 Write_Line ("Format error and warning messages to fit nn character lines"); 323 Write_Line ("Format error and warning messages to fit nn character lines");
324
325 -- Line for -gnatJ switch
326
327 Write_Switch_Char ("J");
328 Write_Line ("Relaxed elaboration checking mode enabled");
319 329
320 -- Line for -gnatk switch 330 -- Line for -gnatk switch
321 331
322 Write_Switch_Char ("k"); 332 Write_Switch_Char ("k");
323 Write_Line ("Limit file names to nn characters (k = krunch)"); 333 Write_Line ("Limit file names to nn characters (k = krunch)");
340 Write_Line ("Limit number of detected errors/warnings to nn (1-999999)"); 350 Write_Line ("Limit number of detected errors/warnings to nn (1-999999)");
341 351
342 -- Line for -gnatn switch 352 -- Line for -gnatn switch
343 353
344 Write_Switch_Char ("n[?]"); 354 Write_Switch_Char ("n[?]");
345 Write_Line ("Enable pragma Inline (both within and across units, ?=1/2)"); 355 Write_Line ("Enable pragma Inline across units (?=1/2 for moderate/full)");
346 356
347 -- Line for -gnato switch 357 -- Line for -gnato switch
348 358
349 Write_Switch_Char ("o0"); 359 Write_Switch_Char ("o0");
350 Write_Line ("Disable overflow checking"); 360 Write_Line ("Disable overflow checking");
391 -- Lines for -gnatR switch 401 -- Lines for -gnatR switch
392 402
393 Write_Switch_Char ("R?"); 403 Write_Switch_Char ("R?");
394 Write_Line 404 Write_Line
395 ("List rep info (?=0/1/2/3/e/m for none/types/all/symbolic/ext/mech)"); 405 ("List rep info (?=0/1/2/3/e/m for none/types/all/symbolic/ext/mech)");
406 Write_Switch_Char ("R?j");
407 Write_Line ("List rep info in the JSON data interchange format");
396 Write_Switch_Char ("R?s"); 408 Write_Switch_Char ("R?s");
397 Write_Line ("List rep info to file.rep instead of standard output"); 409 Write_Line ("List rep info to file.rep instead of standard output");
398 410
399 -- Line for -gnats switch 411 -- Line for -gnats switch
400 412
447 Write_Line (" F turn off checking for floating-point"); 459 Write_Line (" F turn off checking for floating-point");
448 Write_Line (" i turn on checking for in params"); 460 Write_Line (" i turn on checking for in params");
449 Write_Line (" I turn off checking for in params"); 461 Write_Line (" I turn off checking for in params");
450 Write_Line (" m turn on checking for in out params"); 462 Write_Line (" m turn on checking for in out params");
451 Write_Line (" M turn off checking for in out params"); 463 Write_Line (" M turn off checking for in out params");
464 Write_Line (" n turn off all validity checks (including RM)");
452 Write_Line (" o turn on checking for operators/attributes"); 465 Write_Line (" o turn on checking for operators/attributes");
453 Write_Line (" O turn off checking for operators/attributes"); 466 Write_Line (" O turn off checking for operators/attributes");
454 Write_Line (" p turn on checking for parameters"); 467 Write_Line (" p turn on checking for parameters");
455 Write_Line (" P turn off checking for parameters"); 468 Write_Line (" P turn off checking for parameters");
456 Write_Line (" r turn on checking for returns"); 469 Write_Line (" r turn on checking for returns");
457 Write_Line (" R turn off checking for returns"); 470 Write_Line (" R turn off checking for returns");
458 Write_Line (" s turn on checking for subscripts"); 471 Write_Line (" s turn on checking for subscripts");
459 Write_Line (" S turn off checking for subscripts"); 472 Write_Line (" S turn off checking for subscripts");
460 Write_Line (" t turn on checking for tests"); 473 Write_Line (" t turn on checking for tests");
461 Write_Line (" T turn off checking for tests"); 474 Write_Line (" T turn off checking for tests");
462 Write_Line (" n turn off all validity checks (including RM)");
463 475
464 -- Lines for -gnatw switch 476 -- Lines for -gnatw switch
465 477
466 Write_Switch_Char ("wxx"); 478 Write_Switch_Char ("wxx");
467 Write_Line ("Enable selected warning modes, xx = list of parameters:"); 479 Write_Line ("Enable selected warning modes, xx = list of parameters:");