summaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
Commit message (Collapse)AuthorAgeFilesLines
* 2012-10-31 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-10-311-0/+17
| | | | | | | | MELT branch merged with trunk rev 193029 using svnmerge.py git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@193030 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-04 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-10-041-0/+6
| | | | | | | | MELT branch merged with trunk rev 192095 using svnmerge.py git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@192098 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-10-02 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-10-021-22/+27
| | | | | | | | MELT branch merged with trunk rev 191993 using svnmerge.py git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@191994 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-08-29 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-08-291-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | MELT branch merged with trunk rev 190745 using svnmerge, notably C++ conversion. [gcc/] 2012-08-29 Basile Starynkevitch <basile@starynkevitch.net> {{merging with trunk, converted to C++}} * melt-runtime.h (MELT_FLEXIBLE_DIM): Set when C++. * melt-runtime.c (melt_tempdir_path): Don't use choose_tmpdir from libiberty. (meltgc_start_module_by_index): Use address-of & on VEC_index. (melt_really_initialize): When printing builtin settings, handle GCC 4.8 as with implicit ENABLE_BUILD_WITH_CXX. (meltgc_out_edge): Provide additional flag TDF_DETAILS for dump_edge_info. (melt_val2passflag): Handle PROP_referenced_vars only when defined. * melt-module.mk: Use GCCMELT_COMPILER instead of GCCMELT_CC. * melt-build-script.tpl: Transmit GCCMELT_COMPILER on every make using melt-module.mk and improve the error message. * melt-build-script.sh: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@190778 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-06-13 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-06-131-0/+7
| | | | | | | | MELT branch merged with trunk rev 188512 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@188515 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-04-04 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-04-041-0/+5
| | | | | | | | MELT branch merged with trunk rev 186135 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@186137 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-03-23 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-03-231-4/+0
| | | | | | | | MELT branch merged with trunk rev 185727 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@185729 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-03-19 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2012-03-191-7/+13
| | | | | | | | MELT branch merged with trunk rev 185514 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@185516 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-21 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-12-211-2/+4
| | | | | | | | MELT branch merged with trunk rev 182564 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@182569 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-24 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-11-241-1/+4
| | | | | | | | MELT branch merged with trunk rev 181685 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@181689 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-26 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-10-261-0/+5
| | | | | | | | MELT branch merged with trunk rev 180468 using svnmerge git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@180470 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-10 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-10-101-5/+5
| | | | | | | | | | | | | MELT branch merged with trunk rev 179735 using svnmerge. gcc/ 2011-10-10 Basile Starynkevitch <basile@starynkevitch.net> * melt-runtime.h (meltppbuffer, meltppbufsiz): Declare as extern variables. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@179736 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-29 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-09-291-0/+5
| | | | | | | | | | | | | MELT branch merged with trunk rev 179351 using svnmerge. gcc/ 2011-09-29 Basile Starynkevitch <basile@starynkevitch.net> * melt-runtime.c (melt_really_initialize): Change, because get_random_seed gives a string in GCC 4.6 and a number in GCC 4.7. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@179356 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-07 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-09-071-0/+6
| | | | | | | | MELT branch merged with trunk rev 178630 using svnmerge. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@178632 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-02 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-09-021-7/+14
| | | | | | | | MELT branch merged with trunk rev 178437 using svnmerge. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@178439 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-30 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-08-301-3/+3
| | | | | | | | MELT branch merged with trunk rev 178289 using svnmerge. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@178293 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-25 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2011-08-251-13/+38
| | | | | | | | | | | | | MELT branch merged with trunk rev 178073 using svnmerge. 2011-08-25 Basile Starynkevitch <basile@starynkevitch.net> * gcc/melt-runtime.c (melt_linemap_compute_current_location): Use the linemap_position_for_column function for GCC 4.7 when merging with GCC trunk rev 178073. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@178087 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-10-261-16/+73
| | | | | | | | MELT branch merged with trunk rev 165980 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165983 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-21 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-10-211-9/+15
| | | | | | | | MELT branch merged with trunk rev 165748 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165750 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-19 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-10-191-0/+16
| | | | | | | MELT branch merged with trunk rev 165680 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165681 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-12 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-10-121-0/+5
| | | | | | | | MELT branch merged with trunk rev 165392 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165394 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-11 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-10-111-7/+5
| | | | | | | | MELT branch merged with trunk rev 165329 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165333 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-09 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-10-091-0/+9
| | | | | | | | MELT branch merged with trunk rev 165222 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165232 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-09-19 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2010-09-191-16/+87
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | MELT branch merged with trunk rev 164348, with some improvements in gcc/melt-runtime.[ch] 2010-09-19 Basile Starynkevitch <basile@starynkevitch.net> [[merged with trunk rev.164348, so improved MELT runtime!]] * gcc/melt-runtime.h: improved comments. (melt_debug_garbcoll, melt_debuggc_eprintf): Moved from melt-runtime.c. (melt_obmag_string): New declaration. (struct meltobject_st, struct meltclosure_st, struct meltroutine_st, struct meltmixbigint_st, struct meltstring_st): using GTY variable_size and @@MELTGTY@@ comment. (melt_mark_special): added debug print. * gcc/melt-runtime.c: Improved comments. Include bversion.h, realmpfr.h, gimple-pretty-print.h. (ggc_force_collect) Declared external. (melt_forward_counter): Added. (melt_obmag_string): New function. (melt_alptr_1, melt_alptr_2, melt_break_alptr_1_at) (melt_break_alptr_2_at, melt_break_alptr_1,melt_break_alptr_1) (melt_allocate_young_gc_zone, melt_free_young_gc_zone): New. (delete_special, meltgc_make_special): Improved debug printf and use melt_break_alptr_1... (ggc_alloc_*) macros defined for backport to GCC 4.5 (melt_forwarded_copy): Don't clear the new destination zone in old GGC heap. (meltgc_add_out_raw_len): Use ggc_alloc_atomic. (meltgc_raw_new_mappointers, meltgc_raw_put_mappointers) (meltgc_raw_remove_mappointers): Corrected length argument to ggc_alloc_cleared_vec_entrypointermelt_st. (melt_really_initialize): Call melt_allocate_young_gc_zone. (melt_initialize): Set flag_plugin_added. (melt_val2passflag): TODO_verify_loops only in GCC 4.5 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@164424 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-12-02 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-12-021-0/+24
| | | | | | | | | MELT branch merged with trunk rev 154895 {after more plugin events from ICI folks} git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@154896 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-10-30 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-10-301-1/+6
| | | | | | | | MELT branch merged with trunk rev 153758 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@153763 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-20 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-07-201-0/+6
| | | | | | | | MELT branch merged with trunk rev 149800 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@149801 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-07-15 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-07-151-71/+75
| | | | | | | | MELT branch merged with trunk rev 149655 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@149682 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-05-07 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-05-071-0/+7
| | | | | | | | | MELT branch merged with trunk r147228 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@147231 138bc75d-0d04-0410-961f-82ee72b054a4
* 2009-04-27 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2009-04-271-29/+65
| | | | | | | | | | | MERGED WITH TRUNK r146824:: * gcc/basilys.h: all GTY goes before the identifiers. * gcc/basilys.c: removed errors.h include. * gcc/run-basilys.h: ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@146839 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-09-15 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-09-151-1/+1
| | | | | | | | MELT branch merged with trunk r140370 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@140372 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-09-01 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-09-011-4/+21
| | | | | | | | | | | | | | MERGED WITH TRUNK rev139820 * gcc/melt/warmelt-first.bysl: added location argument to inform. * gcc/warmelt-first-0.c: regenerated. * gcc/warmelt-macro-0.c: regenerated. * gcc/warmelt-normal-0.c: regenerated. * gcc/warmelt-genobj-0.c: regenerated. * gcc/warmelt-outobj-0.c: regenerated. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@139849 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-06 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-08-061-0/+6
| | | | | | | | MELT branch merged with trunk r138800 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@138805 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-04 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-08-041-5/+5
| | | | | | | | MELT branch merged with trunk r138620 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@138622 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-01 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-08-011-0/+5
| | | | | | | | MELT branch merged with trunk r138450 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@138521 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-05-21 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-05-211-0/+5
| | | | | | | | | | MELT branch merged with trunk r135714 * gcc/basilys.h: explicit [re-]declaration of fatail_error. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@135715 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-14 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-04-141-6/+40
| | | | | | | | | | | MELT branch merged with trunk r134275 stilly buggy for libgcc muldi3: internal compiler error: in execute_ipa_pass_list, at passes.c:1235 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@134279 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-05 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-04-051-8/+8
| | | | | | | | MELT branch merged with trunk r133930 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@133932 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-03-26 Basile Starynkevitch <basile@starynkevitch.net>bstarynk2008-03-261-3/+22
| | | | | | | | MELT branch merged with trunk r133612 (in particular gcc/Makefile.in with auto dependencies) git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@133613 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-12-06 Vincent Celier <celier@adacore.com>charlet2007-12-131-26/+80
| | | | | | | | | | | | | | | * opt.ads: Indicate what flags are used by the Project Manager, gprbuild and gprclean. (Opt.Follow_Links_For_Dirs): New flag (Warn_On_Assertion_Failure): New flag (Wide_Character_Encoding_Method_Specified): New flag (Suppress_All_Inlining): New switch set by -fno-inline (Real_VMS_Target): New flag New pragma Fast_Math git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130821 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-10-15 Robert Dewar <dewar@adacore.com>charlet2007-10-151-4/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb, s-taprop-posix.adb, a-calend-vms.adb, a-calend.adb, a-nuflra.adb, a-tigeau.adb, a-wtgeau.adb, checks.adb, bindgen.adb, eval_fat.adb, exp_fixd.adb, fmap.adb, freeze.adb, g-awk.adb, g-calend.adb, g-diopit.adb, g-expect.adb, gnatchop.adb, gnatlink.adb, g-spipat.adb, g-thread.adb, make.adb, mdll.adb, mlib.adb, mlib-prj.adb, osint.adb, par-ch3.adb, prj.adb, prj-makr.adb, sem_prag.adb, sem_type.adb, s-fatgen.adb, s-fileio.adb, sinfo.ads, sinput-d.adb, s-taasde.adb, s-tasdeb.ads, s-tasren.adb, s-tassta.adb, s-tpobop.adb, s-tposen.adb, stylesw.adb, types.ads, uintp.adb, validsw.adb, makegpr.adb, a-rbtgso.adb, a-crbtgo.adb, a-coorse.adb, a-convec.adb, a-coinve.adb, a-cohama.adb, a-ciorse.adb, a-cihama.adb, a-cidlli.adb, a-chtgop.adb, a-cdlili.adb, a-cdlili.adb, a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cohase.adb, a-ciorma.adb, a-coorma.adb, a-ztgeau.adb, symbols-vms.adb, a-crdlli.adb, a-calari.adb, a-calfor.adb, s-os_lib.adb, s-regpat.adb, a-ngrear.adb: Minor reformatting. Add Unreferenced and Warnings (Off) pragmas for cases of variables modified calls where they are IN OUT or OUT parameters and the resulting values are not subsequently referenced. In a few cases, we also remove redundant code found by the new warnings. * ug_words, vms_data.ads, usage.adb, sem_util.adb, sem_util.ads, sem_warn.adb, sem_warn.ads, sem_res.adb, sem_ch7.adb, sem_ch8.adb, sem_ch5.adb, opt.ads, lib-xref.adb, lib-xref.ads, exp_smem.adb, sem_ch11.adb, exp_ch6.adb, einfo.ads, einfo.adb: implement a new warning controlled by -gnatw.o that warns on cases of out parameter values being ignored. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@129318 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-09-26 Thomas Quinot <quinot@adacore.com>charlet2007-09-261-2/+3
| | | | | | | | | | | | | | | | | | | | | | Sergey Rybin <rybin@adacore.com> * gnatvsn.ads (PCS_Version_Number, ASIS_Version_Number): Removed. * exp_dist.ads (PCS_Version_Number): Move from Gnatvsn to Exp_Dist, where it belongs. * opt.ads: Move ASIS_Version_Number from Gnatvsn into Tree_IO. * rtsfind.adb (PCS_Version_Number): Move from Gnatvsn to Exp_Dist, where it belongs. * sem_dist.ads: Minor comment fix * tree_io.ads: Move ASIS_Version_Number from Gnatvsn into Tree_IO. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128783 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-09-12 Hristian Kirtchev <kirtchev@adacore.com>charlet2007-09-121-0/+5
| | | | | | | | | | | | | | | * bindusg.adb (Display): Correct comment for switch -X. Add a line for the usage of switch -y. * switch-b.adb (Scan_Binder_Switches): Set flag Leap_Seconds_Support when switch -y is present. * opt.ads: Add binder flag Leap_Seconds_Support used to enable/disable leap seconds in Ada.Calendar and its children. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128429 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-08-14 Robert Dewar <dewar@adacore.com>charlet2007-08-141-28/+43
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ed Schonberg <schonberg@adacore.com> * opt.ads: Warning for non-local exception propagation now off by default New switch -gnatI to disable representation clauses Implement new pragma Implicit_Packing * usage.adb: Warning for non-local exception propagation now off by default Add warning for unchecked conversion of pointers wi different conventions. New switch -gnatI to disable representation clauses * usage.adb: new switch -gnatyS * gnat_ugn.texi: For the gnatcheck Non_Qualified_Aggregates rule add a note that aggregates of anonymous array types are not flagged. -gnatwc now includes membership tests optimized away -gnatw.x warnings are now off by default Added conditional compilation Appendix Add documentation of -gnatI Add documentation for new -gnatyS style check Update documentation about SAL and auto-init on Windows. * gnat_rm.texi: Add documentation for pragma Check_Name and 'Enabled attribute Document that Eliminate on dispatching operation is ignored Document IDE attributes VCS_Repository_Root and VCS_Patch_Root. Document pragma Main Document pragma Implicit_Packing * sem_ch13.adb: Add warning for unchecked conversion of pointers wi different conventions New switch -gnatI to disable representation clauses * switch-c.adb (Scan_Front_End_Switches): When a -gnat switch is not recognized, report the invalid characters including "-gnat" instead of just the first character in the switch. New switch -gnatI to disable representation clauses Set Warn_On_Object_Renames_Function true for -gnatg * vms_data.ads: Add doc for /IGNORE_REP_CLAUSES Add STATEMENTS_AFTER_THEN_ELSE as synonym for -gnatyS Add qualifier /ADD_PROJECT_SEARCH_DIR= for different tools, equivalent to switch -aP (add directory to project search dir). * par-prag.adb: Implement new pragma Implicit_Packing * sem_prag.adb (Analyze_Pragma, case Complex_Representation): Mark the type as having a non-standard representation, to force expansion on conversion to related types. (Analyze_Pragma): Warn on misspelled pragma (Analyze_Pragma, case Convention_Identifier): Fix checking of second arg Ensure consistent use of # in error messages Implement pragma Implicit_Packing git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127421 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-04-20 Robert Dewar <dewar@adacore.com>charlet2007-06-061-10/+65
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ed Schonberg <schonberg@adacore.com> * g-comlin.ads, g-comlin.adb: Add new warning for renaming of function return objects * opt.adb (Tree_Write, Tree_Read): Use proper expressions for size (Tree_Read): Use size of object instead of type'object_size, since the latter is incorrect for packed array types. (Tree_Write): Same fix * opt.ads: Add new warning for renaming of function return objects (Generating_Code): New boolean variable used to indicate that the frontend as finished its work and has called the backend to process the tree and generate the object file. (GCC_Version): Is now private (Static_Dispatch_Tables): New constant declaration. (Overflow_Checks_Unsuppressed): New flag. (Process_Suppress_Unsuppress): Set Overflow_Checks_Unsuppressed. (List_Closure): New flag for gnatbind (-R) Zero_Formatting: New flag for gnatbind (-Z) (Special_Exception_Package_Used): New flag. (Warn_On_Unrepped_Components): New flag. * sem_ch8.adb (Check_Library_Unit_Renaming): Check that the renamed unit is a compilation unit, rather than relying on its scope, so that Standard can be renamed. (Analyze_Object_Renaming): Add new warning for renaming of function return objects. Also reject attempt to rename function return object in Ada 83 mode. (Attribute_Renaming): In case of tagged types, add the body of the generated function to the freezing actions of the type. (Find_Type): A protected type is visible right after the reserved word "is" is encountered in its type declaration. Set the entity and type rather than emitting an error message. (New_Scope): Properly propagate Discard_Names to inner scopes (Check_Nested_Access): New procedure. (Has_Nested_Access, Set_Has_Nested_Access): New procedures. (Find_Direct_Name, Note_Possible_Modification): Use Check_Nested_Access. * sem_warn.ads, sem_warn.adb: Improvements to infinite loop warning Add new warning for renaming of function return objects (Check_References): Suppress warnings for objects whose type or base type has Warnings suppressed. (Set_Dot_Warning_Switch): Add processing for -gnatw.c/C (Set_Warning_Switch): Include new -gnatwc in -gnatwa git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125414 138bc75d-0d04-0410-961f-82ee72b054a4
* 2007-04-06 Robert Dewar <dewar@adacore.com>charlet2007-04-061-2/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch13.ads, sem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order): Use First/Next_Component_Or_Discriminant (Analyze_Record_Representation_Clause): Use First/Next_Component_Or_Discriminant (Check_Component_Overlap): Use First/Next_Component_Or_Discriminant (Analyze_Attribute_Definition_Clause, case Value_Size): Reject definition if type is unconstrained. (Adjust_Record_For_Reverse_Bit_Order): New procedure (Analyze_Attribute_Definition_Clause): Split Is_Abstract flag into Is_Abstract_Subprogram and Is_Abstract_Type. (Adjust_Record_For_Reverse_Bit_Order): New procedure * repinfo.adb (List_Record_Info): Use First/ Next_Component_Or_Discriminant. * style.ads, styleg-c.adb, styleg-c.ads (Check_Array_Attribute_Index): New procedure. * stylesw.ads, stylesw.adb: Recognize new -gnatyA style switch Include -gnatyA in default switches * opt.ads: (Warn_On_Non_Local_Exception): New flag (Warn_On_Reverse_Bit_Order): New flag (Extensions_Allowed): Update the documentation. (Warn_On_Questionable_Missing_Parens): Now on by default * usage.adb: Add documentation of -gnatw.x/X switches Document new -gnatyA style switch -gnatq warnings are on by default git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123590 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-10-31 Robert Dewar <dewar@adacore.com>charlet2006-10-311-10/+68
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * errout.ads, errout.adb (Finalize): Implement switch -gnatd.m Avoid abbreviation Creat (Finalize): List all sources in extended mail source if -gnatl switch is active. Suppress copyright notice to file in -gnatl=f mode if -gnatd7 set (Finalize): Implement new -gnatl=xxx switch to output listing to file (Set_Specific_Warning_On): New procedure (Set_Specific_Warning_Off): New procedure Add implementation of new insertion \\ (Error_Msg_Internal): Add handling for Error_Msg_Line_Length (Unwind_Internal_Type): Improve report on anonymous access_to_subprogram types. (Error_Msg_Internal): Make sure that we set Last_Killed to True when a message from another package is suppressed. Implement insertion character ~ (insert string) (First_Node): Minor adjustments to get better placement. * frontend.adb: Implement new -gnatl=xxx switch to output listing to file * gnat1drv.adb: Implement new -gnatl=xxx switch to output listing to file * opt.ads: (Warn_On_Questionable_Missing_Paren): New switch (Commands_To_Stdout): New flag Implement new -gnatl=xxx switch to output listing to file New switch Dump_Source_Text (Warn_On_Deleted_Code): New warning flag for -gnatwt Define Error_Msg_Line_Length (Warn_On_Assumed_Low_Bound): New switch * osint.ads, osint.adb (Normalize_Directory_Name): Fix bug. Implement new -gnatl=xxx switch to output listing to file (Concat): Removed, replaced by real concatenation Make use of concatenation now allowed in compiler (Executable_Prefix.Get_Install_Dir): First get the full path, so that we find the 'lib' or 'bin' directory even when the tool has been invoked with a relative path. (Executable_Name): New function taking string parameters. * osint-c.ads, osint-c.adb: Implement new -gnatl=xxx switch to output listing to file * sinput-d.adb: Change name Creat_Debug_File to Create_Debug_File * switch-c.adb: Implement new -gnatl=xxx switch to output listing to file Recognize new -gnatL switch (no longer keep in old warning about old style usage) Use concatenation to simplify code Recognize -gnatjnn switch (Scan_Front_End_Switches): Clean up handling of -gnatW (Scan_Front_End_Switches): Include Warn_On_Assumed_Low_Bound for -gnatg git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118251 138bc75d-0d04-0410-961f-82ee72b054a4
* * opt.ads (Ada_Version_Default): Set to Ada 2005 by default.charlet2006-02-161-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111133 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-02-13 Robert Dewar <dewar@adacore.com>charlet2006-02-151-14/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Serguei Rybin <rybin@adacore.com> * opt.ads opt.adb: Add Ada_Version_Explicit_Config along with save/restore routines. Properly handle Ada_Version_Explicit and Ada_Version_Config, which were not always properly handled previously. Since we are changing the tree format anyway, also get rid of the junk obsolete Immediate_Errors flag. (Tree_Read): Change the way of reading Tree_Version_String - now we read the version string from the tree even if its length is not the same as the length of the version string computed from Gnatvsn. (Search_Directory_Present): New Boolean flag for the compiler. Define Tree_Version_String as a dynamic string. (Default_Stack_Size): new variable, used to handle switch -d. * par-prag.adb: For pragma Ada_2005, remove stuff about setting Ada_Version_Explicit only for main unit. Add pragma Ada_2005 (synonym for Ada_05) Properly handle Ada_Version_Explicit and Ada_Version_Config, which were not always properly handled previously. * directio.ads, ioexcept.ads, sequenio.ads, text_io.ads: Change explicit Ada_95 to Ada_2005. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111054 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-12-05 Doug Rupp <rupp@adacore.com>charlet2005-12-091-9/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * mlib-tgt-vms-ia64.adb, mlib-tgt-vms-alpha.adb (Is_Interface): Change Ada bind file prefix on VMS from b$ to b__. (Build_Dynamic_Library): Change Init file suffix on VMS from $init to __init. * prj-nmsc.adb: Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. (Object_Suffix): Initialize with target object suffix. (Get_Unit): Change Ada bind file prefix on VMS from b$ to b__. * butil.adb: Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. * clean.adb: Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. (Object_Suffix): Initialize with call to Get_Target_Object_Suffix. ({declaraction},Delete_Binder_Generated_Files,{initialization}): Change Ada bind file prefix on VMS from b$ to b__. * gnatlink.adb (Process_Args): Call Add_Src_Search_Dir for -I in --GCC so that Get_Target_Parameters can find system.ads. (Gnatlink): Call Get_Target_Parameters in mainline. Initialize standard packages for Targparm. Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. (Process_Args): Also Check for object files with target object extension. (Make_Binder_File_Names): Create with target object extension. (Make_Binder_File_Names): Change Ada bind file prefix on VMS from b$ to b__. * mlib-prj.adb: Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. ({declaration},Build_Library,Check_Library): Change Ada bind file prefix on VMS from b$ to b__. * osint-b.adb: Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. (Create_Binder_Output): Change Ada bind file prefix on VMS from b$ to b__. * targext.c: New file. * Makefile.in: add support for vxworks653 builds (../../vxaddr2line): gnatlink with targext.o. (TOOLS_LIBS): Move targext.o to precede libgnat. (init.o, initialize.o): Minor clean up in dependencies. (GNATLINK_OBJS): Add targparm.o, snames.o Add rules fo building targext.o and linking it explicitly with all tools. Also add targext.o to gnatlib. * Make-lang.in: Add rules for building targext.o and linking it in with gnat1 and gnatbind. Add entry for exp_sel.o. * osint.adb Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target. (Object_File_Name): Use target object suffix. * osint.ads (Object_Suffix): Remove, no longer used. (Target_Object_Suffix): Initialize with target object suffix. * rident.ads: Add special exception to license. * targparm.adb (Get_Target_Parameters): Set the value of Multi_Unit_Index_Character after OpenVMS_On_Target gets its definitive value. (Get_Target_Parameters): Set OpenVMS_On_Target if openvms. * targparm.ads: Add special exception to license. * g-os_lib.ads, g-os_lib.adb (Get_Target_Debuggable_Suffix): New function. (Copy_File): Make sure from file is closed if error on to file (Get_Target_Executable_Suffix, Get_Target_Object_Suffix): New functions. * make.adb (Object_Suffix): Intialize with Get_Target_Object_Suffix. (Executable_Suffix): Intialize with Get_Target_Executable_Suffix. * osint-c.adb (Set_Output_Object_File_Name): Initialize extension with target object suffix. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108282 138bc75d-0d04-0410-961f-82ee72b054a4