12001-12-23 Richard Henderson <rth@redhat.com> 2 3 * utils.c (end_subprog_body): Push GC context around 4 rest_of_compilation for nested functions. 5 62001-12-23 Richard Henderson <rth@redhat.com> 7 8 * 5nosinte.ads: Get definition of "int" from Interfaces.C. 9 102001-12-23 Florian Weimer <fw@deneb.enyo.de> 11 12 * gnat-style.texi (Declarations and Types): Remove ancient style 13 rule which was mandated by code generation issues. 14 15 * gnat-style.texi (header): Add @dircategory, @direntry. 16 (title page): Remove date. 17 (general) Add @./@: where approriate, and two spaces after the 18 full stop at the end of a sentence. Use @samp markup when 19 referring concrete lexical entities (keywords, attribute names 20 etc.), and @syntax for ARM grammar elements. Use @r for English 21 text in comments. Use @emph for emphasis. Change "if-statements" 22 etc. to "if statements" (without @samp). Break long lines. Make 23 casing of section names consistent. 24 (Identifiers): Use @samp markup for variable names. 25 (Comments): Use @samp markup for comment characters. Line-end 26 comments may follow any Ada code, not just statements. Fix 27 misspelling of "Integer" as "integer". 28 (Loop statements): Do not use variable name "I", use "J". 29 (Subprogram Declarations): Document alignment. 30 (Subprogram Bodies, Block statements): Document empty line before 31 "begin". 32 332001-12-22 Florian Weimer <fw@deneb.enyo.de> 34 35 * make.adb (Add_Switch): Make Generic_Position a procedure. The 36 function approach did not work well because of a side effect (the 37 function call could reallocate the table which was being indexed 38 using its result). Fixes ada/4851. 39 402001-12-19 Robert Dewar <dewar@gnat.com> 41 42 * bindgen.adb: Minor reformatting 43 44 * cstand.adb: Minor reformatting 45 46 * fmap.adb: Minor reformatting 47 Change name from Add for Add_To_File_Map (Add is much too generic) 48 Change Path_Name_Of to Mapped_Path_Name 49 Change File_Name_Of to Mapped_File_Name 50 Fix copyright dates in header 51 52 * fmap.ads: 53 Change name from Add for Add_To_File_Map (Add is much too generic) 54 Change Path_Name_Of to Mapped_Path_Name 55 Change File_Name_Of to Mapped_File_Name 56 Fix copyright dates in header 57 58 * fname-uf.adb: Minor reformatting. New names of stuff in Fmap. 59 Add use clause for Fmap. 60 61 * make.adb: Minor reformatting 62 63 * osint.adb: Minor reformatting. Change of names in Fmap. 64 Add use clause for Fmap. 65 66 * prj-env.adb: Minor reformatting 67 68 * prj-env.ads: Minor reformatting 69 70 * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if 71 error found (there were odd exceptions to this general rule in 72 -gnatec/-gnatem processing) 73 742001-12-19 Olivier Hainque <hainque@gnat.com> 75 76 * raise.c (__gnat_eh_personality): Exception handling personality 77 routine for Ada. Still in rough state, inspired from the C++ version 78 and still containing a bunch of debugging artifacts. 79 (parse_lsda_header, get_ttype_entry): Local (static) helpers, also 80 inspired from the C++ library. 81 82 * raise.c (eh_personality): Add comments. Part of work for the GCC 3 83 exception handling integration. 84 852001-12-19 Arnaud Charlet <charlet@gnat.com> 86 87 * Makefile.in: Remove use of 5smastop.adb which is obsolete. 88 (HIE_SOURCES): Add s-secsta.ad{s,b}. 89 (HIE_OBJS): Add s-fat*.o 90 (RAVEN_SOURCES): Remove files that are no longer required. Add 91 interrupt handling files. 92 (RAVEN_MOD): Removed, no longer needed. 93 942001-12-19 Robert Dewar <dewar@gnat.com> 95 96 * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always 97 Add 2001 to copyright date 98 99 * g-regpat.adb: Change pragma Inline_Always to Inline. There is no 100 need to force universal inlining for these cases. 101 1022001-12-19 Arnaud Charlet <charlet@gnat.com> 103 104 * s-taprob.adb: Minor clean ups so that this unit can be used in 105 Ravenscar HI. 106 107 * exp_ch7.adb: Allow use of secondary stack in HI mode. 108 Disallow it when pragma Restrictions (No_Secondary_Stack) is specified. 109 1102001-12-19 Vincent Celier <celier@gnat.com> 111 112 * prj-tree.ads (Project_Node_Record): Add comments for components 113 Pkg_Id and Case_Insensitive. 114 1152001-12-19 Pascal Obry <obry@gnat.com> 116 117 * g-socket.adb: Minor reformatting. Found while reading code. 118 1192001-12-19 Robert Dewar <dewar@gnat.com> 120 121 * prj-tree.ads: Minor reformatting 122 1232001-12-20 Joseph S. Myers <jsm28@cam.ac.uk> 124 125 * config-lang.in (diff_excludes): Remove. 126 1272001-12-17 Ed Schonberg <schonber@gnat.com> 128 129 * sem_res.adb (Resolve_Selected_Component): do not generate a 130 discriminant check if the selected component is a component of 131 the argument of an initialization procedure. 132 133 * trans.c (tree_transform, case of arithmetic operators): If result 134 type is private, the gnu_type is the base type of the full view, 135 given that the full view itself may be a subtype. 136 1372001-12-17 Robert Dewar <dewar@gnat.com> 138 139 * sem_res.adb: Minor reformatting 140 141 * trans.c (tree_transform, case N_Real_Literal): Add missing third 142 parameter in call to Machine (unknown horrible effects from this 143 omission). 144 145 * urealp.h: Add definition of Round_Even for call to Machine 146 Add third parameter for Machine 147 1482001-12-17 Ed Schonberg <schonber@gnat.com> 149 150 * sem_warn.adb (Check_One_Unit): Suppress warnings completely on 151 predefined units in No_Run_Time mode. 152 1532001-12-17 Richard Kenner <kenner@gnat.com> 154 155 * misc.c (insn-codes.h): Now include. 156 1572001-12-17 Olivier Hainque <hainque@gnat.com> 158 159 * a-except.adb: Preparation work for future integration of the GCC 3 160 exception handling mechanism 161 (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines 162 to factorize previous code sequences and make them externally callable, 163 e.g. for the Ada personality routine when the GCC 3 mechanism is used. 164 (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler): 165 Use the new notification routines. 166 1672001-12-17 Emmanuel Briot <briot@gnat.com> 168 169 * prj-tree.ads (First_Choice_Of): Document the when others case 170 1712001-12-17 Arnaud Charlet <charlet@gnat.com> 172 173 * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in 174 HI-E mode, in order to support Ravenscar profile properly. 175 176 * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E 177 mode on 32 bits targets. 178 1792001-12-17 Vincent Celier <celier@gnat.com> 180 181 * fmap.adb: Initial version. 182 183 * fmap.ads: Initial version. 184 185 * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped. 186 If search is successfully done, add to mapping. 187 188 * frontend.adb: Initialize the mapping if a -gnatem switch was used. 189 190 * make.adb: 191 (Gnatmake): Add new local variable Mapping_File_Name. 192 Create mapping file when using project file(s). 193 Delete mapping file before exiting. 194 195 * opt.ads (Mapping_File_Name): New variable 196 197 * osint.adb (Find_File): Use path name found in mapping, if any. 198 199 * prj-env.adb (Create_Mapping_File): New procedure 200 201 * prj-env.ads (Create_Mapping_File): New procedure. 202 203 * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem 204 (Mapping_File) 205 206 * usage.adb: Add entry for new switch -gnatem. 207 208 * Makefile.in: Add dependencies for fmap.o. 209 2102001-12-17 Ed Schonberg <schonber@gnat.com> 211 212 * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit 213 is a package instantiation rewritten as a package body. 214 (Install_Withed_Unit): Undo previous change, now redundant. 215 2162001-12-17 Gary Dismuke <dismukes@gnat.com> 217 218 * layout.adb: 219 (Compute_Length): Move conversion to Unsigned to callers. 220 (Get_Max_Size): Convert Len expression to Unsigned after calls to 221 Compute_Length and Determine_Range. 222 (Layout_Array_Type): Convert Len expression to Unsigned after calls to 223 Compute_Length and Determine_Range. 224 Above changes fix problem with length computation for supernull arrays 225 where Max (Len, 0) wasn't getting applied due to the Unsigned 226 conversion used by Compute_Length. 227 2282001-12-17 Arnaud Charlet <charlet@gnat.com> 229 230 * rtsfind.ads: 231 (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and 232 System.Secondary_Stack. 233 (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar 234 in HI-E mode. 235 Remove unused entity RE_Exception_Data. 236 237 * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode. 238 239 * rident.ads (No_Secondary_Stack): New restriction. 240 2412001-12-17 Joel Brobecker <brobecke@gnat.com> 242 243 * gnat_rm.texi: Fix minor typos. Found while reading the section 244 regarding "Bit_Order Clauses" that was sent to a customer. 245 Very interesting documentation! 246 2472001-12-17 Robert Dewar <dewar@gnat.com> 248 249 * sem_case.adb (Choice_Image): Avoid creating improper character 250 literal names by using the routine Set_Character_Literal_Name. This 251 fixes bombs in certain error message cases. 252 2532001-12-17 Arnaud Charlet <charlet@gnat.com> 254 255 * a-reatim.adb: Minor reformatting. 256 2572001-12-17 Ed Schonberg <schonber@gnat.com> 258 259 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the 260 case where the formal is an extension of another formal in the current 261 unit or in a parent generic unit. 262 2632001-12-17 Arnaud Charlet <charlet@gnat.com> 264 265 * s-tposen.adb: Update comments. Minor reformatting. 266 Minor code clean up. 267 268 * s-tarest.adb: Update comments. Minor code reorganization. 269 2702001-12-17 Gary Dismukes <dismukes@gnat.com> 271 272 * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag 273 when Java_VM. 274 2752001-12-17 Robert Dewa <dewar@gnat.com> 276 277 * exp_attr.adb: Minor reformatting 278 2792001-12-17 Ed Schonberg <schonber@gnat.com> 280 281 * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle 282 derivations nested within a child unit: verify that the parent 283 type is declared in an outer scope. 284 2852001-12-17 Robert Dewar <dewar@gnat.com> 286 287 * sem_ch12.adb: Minor reformatting 288 2892001-12-17 Ed Schonberg <schonber@gnat.com> 290 291 * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post 292 warning if current unit is a predefined one, from which bodies may 293 have been deleted. 294 2952001-12-17 Robert Dewar <dewar@gnat.com> 296 297 * eval_fat.ads: Add comment that Round_Even is referenced in Ada code 298 Fix header format. Add 2001 to copyright date. 299 300 * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference, 301 which caused CE during compilation if checks were enabled. 302 3032001-12-17 Vincent Celier <celier@gnat.com> 304 305 * make.adb: 306 (Switches_Of): New function 307 (Test_If_Relative_Path): New procedure 308 (Add_Switches): Use new function Switches_Of 309 (Collect_Arguments_And_Compile): Use new function Switches_Of. 310 When using a project file, test if there are any relative 311 search path. Fail if there are any. 312 (Gnatmake): Only add switches for the primary directory when not using 313 a project file. When using a project file, change directory to the 314 object directory of the main project file. When using a project file, 315 test if there are any relative search path. Fail if there are any. 316 When using a project file, fail if specified executable is relative 317 path with directory information, and prepend executable, if not 318 specified as an absolute path, with the exec directory. Make sure 319 that only one -o switch is transmitted to the linker. 320 321 * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir 322 323 * prj-nmsc.adb: 324 (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc, 325 when using a non standard naming scheme. 326 (Check_Ada_Naming_Scheme): Make sure that error messages 327 do not raise exceptions. 328 (Is_Illegal_Append): Return True if there is no dot in the suffix. 329 (Language_Independent_Check): Check the exec directory. 330 331 * prj.adb (Project_Empty): Add new component Exec_Directory 332 333 * prj.ads: 334 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults. 335 (Project_Data): Add component Exec_Directory 336 337 * snames.adb: Updated to match snames.ads revision 1.215 338 339 * snames.ads: Added Exec_Dir 340 3412001-12-17 Robert Dewar <dewar@gnat.com> 342 343 * make.adb: Minor reformatting 344 345 * prj-nmsc.adb: Minor reformatting 346 347 * snames.adb: Updated to match snames.ads 348 349 * snames.ads: Alphebetize entries for project file 350 3512001-12-17 Ed Schonberg <schonber@gnat.com> 352 353 * trans.c (process_freeze_entity): Do nothing if the entity is a 354 subprogram that was already elaborated. 355 3562001-12-17 Richard Kenner <kenner@gnat.com> 357 358 * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment 359 and Esize if object is referenced via pointer. 360 3612001-12-17 Ed Schonberg <schonber@gnat.com> 362 363 * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant 364 is discrete before analyzing choices. 365 3662001-12-17 Joel Brobecker <brobecke@gnat.com> 367 368 * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string 369 containing the name of the Ada Main Program. This string is mainly 370 intended for the debugger. 371 (Gen_Output_File_C): Do the equivalent change when generating a C file. 372 3732001-12-17 Robert Dewar <dewar@gnat.com> 374 375 * ali.adb: Set new Dummy_Entry field in dependency entry 376 377 * ali.ads: Add Dummy_Entry field to source dependency table 378 379 * bcheck.adb (Check_Consistency): Ignore dummy D lines 380 381 * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files 382 383 * lib-writ.ads: Document dummy D lines for missing files. 384 385 * types.ads: (Dummy_Time_Stamp): New value for non-existant files 386 3872001-12-17 Robert Dewar <dewar@gnat.com> 388 389 * ali.adb: Type reference does not reset current file. 390 391 * ali.adb: Recognize and scan renaming reference 392 393 * ali.ads: Add spec for storing renaming references. 394 395 * lib-xref.ads: Add documentation for handling of renaming references 396 397 * lib-xref.adb: Implement output of renaming reference. 398 399 * checks.adb: 400 (Determine_Range): Document local variables 401 (Determine_Range): Make sure Hbound is initialized. It looks as though 402 there could be a real problem here with an uninitialized reference 403 to Hbound, but no actual example of failure has been found. 404 4052001-12-17 Laurent Pautet <pautet@gnat.com> 406 407 * g-socket.ads: 408 Fix comment of Shutdown_Socket and Close_Socket. These functions 409 should not fail silently because if they are called twice, this 410 probably means that there is a race condition in the user program. 411 Anyway, this behaviour is consistent with the rest of this unit. 412 When an error occurs, an exception is raised with the error message 413 as exception message. 414 4152001-12-17 Robert Dewar <dewar@gnat.com> 416 417 * frontend.adb: Move call to Check_Unused_Withs from Frontend, so 418 that it happens before modification of Sloc values for -gnatD. 419 420 * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend, 421 so that it happens before modification of Sloc values for -gnatD. 422 423 * switch.adb: Minor reformatting 424 4252001-12-15 Richard Henderson <rth@redhat.com> 426 427 * sem_ch7.adb: Wrap comment. 428 4292001-12-16 Joseph S. Myers <jsm28@cam.ac.uk> 430 431 * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb, 432 5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb, 433 5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb, 434 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb, 435 5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb, 436 7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in, 437 a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb, 438 a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb, 439 cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb, 440 exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb, 441 exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads, 442 g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb, 443 gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c, 444 make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads, 445 par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb, 446 repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads, 447 s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb, 448 s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads, 449 s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads, 450 s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb, 451 sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb, 452 sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb, 453 sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads, 454 sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix 455 spelling errors. 456 4572001-12-14 Vincent Celier <celier@gnat.com> 458 459 * osint.adb(Create_Debug_File): When an object file is specified, 460 put the .dg file in the same directory as the object file. 461 4622001-12-14 Robert Dewar <dewar@gnat.com> 463 464 * osint.adb: Minor reformatting 465 466 * lib-xref.adb (Output_Instantiation): New procedure to generate 467 instantiation references. 468 469 * lib-xref.ads: Add documentation of handling of generic references. 470 471 * ali.adb (Read_Instantiation_Ref): New procedure to read 472 instantiation references 473 474 * ali.ads: Add spec for storing instantiation references 475 476 * bindusg.adb: Minor reformatting 477 478 * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5) 479 480 * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5) 481 482 * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5) 483 484 * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5) 485 486 * csets.ads: 487 Fix header format 488 Add 2001 to copyright date 489 Add entry for Latin-5 (Cyrillic ISO-8859-5) 490 4912001-12-14 Matt Gingell <gingell@gnat.com> 492 493 * adaint.c: mktemp is a macro on Lynx and can not be used as an 494 expression. 495 4962001-12-14 Richard Kenner <kenner@gnat.com> 497 498 * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR 499 if operand is CONSTRUCTOR. 500 5012001-12-14 Ed Schonberg <schonber@gnat.com> 502 503 * trans.c (tree_transform, case N_Assignment_Statement): Set lineno 504 before emiting check on right-hand side, so that exception information 505 is correct. 506 5072001-12-14 Richard Kenner <kenner@gnat.com> 508 509 * utils.c (create_var_decl): Throw away initializing expression 510 if just annotating types and non-constant. 511 5122001-12-14 Vincent Celier <celier@gnat.com> 513 514 * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to 515 Default_Ada_... 516 517 * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): 518 Remove functions. 519 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec. 520 521 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): 522 Remove functions. 523 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body. 524 5252001-12-16 Joseph S. Myers <jsm28@cam.ac.uk> 526 527 * ChangeLog: Remove piece of diff output. 528 5292001-12-14 Geert Bosch <bosch@gnat.com> 530 531 * config-lang.in: Update copyright notice 532 533 * layout.adb: Remove commented out code. 534 535 * mdllfile.ads: Update copyright notice. Fix header format. 536 537 * sem_case.ads: Likewise. 538 539 * sem_ch3.adb: Minor reformatting. 540 5412001-12-12 Geert Bosch <bosch@gnat.com> 542 543 * freeze.ads: Update copyright date. 544 545 * g-comlin.ads: Minor reformatting. 546 547 * gnat-style.texi: Fix typo. 548 5492001-12-12 Geert Bosch <bosch@gnat.com> 550 551 * einfo.h: Regenerate. 552 5532001-12-12 Ed Schonberg <schonber@gnat.com> 554 555 * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names 556 on known node types, rather than untyped fields. Further cleanups. 557 5582001-12-12 Robert Dewar <dewar@gnat.com> 559 560 * sem_ch12.adb: 561 (Save_Entity_Descendant): Minor comment update. 562 (Copy_Generic_Node): Deal with incorrect reference to Associated_Node 563 of an N_Attribute_Reference node. As per note below, this does not 564 eliminate need for Associated_Node in attribute ref nodes. 565 (Associated_Node): Documentation explicitly mentions attribute 566 reference nodes, since this field is used in such nodes. 567 568 * sem_ch12.adb (Associated_Node): Minor documentation cleanup. 569 5702001-12-12 Robert Dewar <dewar@gnat.com> 571 572 * s-stalib.adb: Add more comments on with statements being needed 573 574 * par-ch12.adb: Minor reformatting 575 576 * prj-dect.ads: Fix copyright header 577 578 * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both 579 inputs fit in 32 bits, but the result still overflows. 580 581 * s-fatgen.ads: Minor comment improvement 582 5832001-12-12 Ed Schonberg <schonber@gnat.com> 584 585 * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a 586 formal derived type, look for an inherited component from the full 587 view of the parent, if any. 588 5892001-12-12 Robert Dewar <dewar@gnat.com> 590 591 * checks.ads (Apply_Alignment_Check): New procedure. 592 593 * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to 594 ensure that the alignment of objects with address clauses is 595 appropriate, and raise PE if not. 596 597 * exp_util.ads (Must_Be_Aligned): Removed, replaced by 598 Exp_Pakd.Known_Aligned_Enough 599 600 * mdllfile.ads: Minor reformatting 601 602 * mlib-fil.ads: Minor reformatting 603 6042001-12-12 Ed Schonberg <schonber@gnat.com> 605 606 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous 607 fix to any component reference if enclosing record has non-standard 608 representation. 609 6102001-12-12 Vincent Celier <celier@gnat.com> 611 612 * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package 613 Iteration 614 6152001-12-12 Ed Schonberg <schonber@gnat.com> 616 617 * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in 618 sem_attr. 619 6202001-12-12 Robert Dewar <dewar@gnat.com> 621 622 * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration 623 6242001-12-12 Emmanuel Briot <briot@gnat.com> 625 626 * g-regexp.adb: Remove all debug code, since it isn't required anymore, 627 and it adds dependencies to system.io. 628 6292001-12-12 Pascal Obry <obry@gnat.com> 630 631 * g-dirope.adb (Expand_Path.Var): Correctly detect end of 632 variable name. 633 6342001-12-11 Ed Schonberg <schonber@gnat.com> 635 636 * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance 637 that is the parent of other generics, the instance body replaces the 638 instance node. Retrieve the instance of the spec, which is the one 639 that is visible in clients and within the body. 640 6412001-12-11 Vincent Celier <celier@gnat.com> 642 643 * gnatmain.adb: Initial version. 644 645 * gnatmain.ads: Initial version. 646 647 * prj-attr.adb (Initialisation_Data): Add package Gnatstub. 648 649 * snames.adb: Updated to match snames.ads. 650 651 * snames.ads: Added Gnatstub. 652 6532001-12-11 Vincent Celier <celier@gnat.com> 654 655 * prj-attr.adb (Initialization_Data): Change name from 656 Initialisation_Data. 657 6582001-12-11 Emmanuel Briot <briot@gnat.com> 659 660 * g-regpat.adb (Parse_Literal): Properly handle simple operators ?, 661 + and * applied to backslashed expressions like \r. 662 6632001-12-11 Vasiliy Fofanov <fofanov@gnat.com> 664 665 * g-os_lib.ads: String_List type added, Argument_List type is now 666 subtype of String_List. 667 6682001-12-11 Robert Dewar <dewar@gnat.com> 669 670 * g-os_lib.ads: Change copyright to FSF 671 Add comments for String_List type 672 6732001-12-11 Vincent Celier <celier@gnat.com> 674 675 * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a 676 string to the buffer). 677 6782001-12-11 Ed Schonberg <schonber@gnat.com> 679 680 * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in 681 sem_attr. 682 683 * sem_attr.adb: Simplify previous fix for Address. 684 (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now, 685 to avoid anomalies where the bound of the type appears to raise 686 constraint error. 687 6882001-12-11 Robert Dewar <dewar@gnat.com> 689 690 * lib-xref.adb (Output_Refs): Make sure pointers are always properly 691 handled. 692 6932001-12-11 Ed Schonber <schonber@gnat.com> 694 695 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a 696 renamed unit before checking for recursive instantiations. 697 6982001-12-11 Emmanuel Briot <briot@gnat.com> 699 700 * prj.ads: Add comments for some of the fields. 701 7022001-12-11 Robert Dewar <dewar@gnat.com> 703 704 * lib-xref.adb (Output_Refs): Don't output type references outside 705 the main unit if they are not otherwise referenced. 706 7072001-12-11 Ed Schonberg <schonber@gnat.com> 708 709 * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify 710 code and diagnose additional illegal uses 711 712 * sem_util.adb (Is_Object_Reference): An indexed component is an 713 object only if the prefix is. 714 7152001-12-11 Vincent Celier <celier@gnat.com> 716 717 * g-diopit.adb: Initial version. 718 719 * g-diopit.ads: Initial version. 720 721 * g-dirope.adb: 722 (Expand_Path): Avoid use of Unbounded_String 723 (Find, Wildcard_Iterator): Moved to child package Iteration 724 725 * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS 726 7272001-12-11 Robert Dewar <dewar@gnat.com> 728 729 * sem_attr.adb: Minor reformatting 730 7312001-12-11 Ed Schonberg <schonber@gnat.com> 732 733 * sem_ch3.adb: Clarify some ???. 734 7352001-12-11 Robert Dewar <dewar@gnat.com> 736 737 * exp_util.adb (Must_Be_Aligned): Removed, replaced by 738 Exp_Pakd.Known_Aligned_Enough 739 740 * sem_ch13.adb (Check_Address_Alignment): Removed, extended 741 version is moved to Exp_Ch13. 742 7432001-12-11 Robert Dewar <dewar@gnat.com> 744 745 * einfo.ads: Minor reformatting 746 747 * exp_ch5.adb: Add comment for previous.change 748 749 * ali.adb: New interface for extended typeref stuff. 750 751 * ali.ads: New interface for typeref stuff. 752 753 * checks.adb (Apply_Alignment_Check): New procedure. 754 755 * debug.adb: Add -gnatdM for modified ALI output 756 757 * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough. 758 759 * lib-xref.adb: Extend generation of <..> notation to cover 760 subtype/object types. Note that this is a complete rewrite, 761 getting rid of the very nasty quadratic algorithm previously 762 used for derived type output. 763 764 * lib-xref.ads: Extend description of <..> notation to cover 765 subtype/object types. Uses {..} for these other cases. 766 Also use (..) for pointer types. 767 768 * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup. 769 770 * exp_pakd.adb: Minor reformatting. Note that prevous RH should say: 771 (Known_Aligned_Enough): Replaces Must_Be_Aligned. 772 7732001-12-11 Vincent Celier <celier@gnat.com> 774 775 * gnatcmd.adb: 776 Changed /COMPILE_ONLY to /ACTIONS=COMPILE 777 Changed /BIND_ONLY to /ACTIONS=BIND 778 Changed /LINK_ONLY to /ACTIONS=LINK 779 7802001-12-11 Ed Schonberg <schonber@gnat.com> 781 782 * sem_ch8.adb (Find_Selected_Component): improved search for a 783 candidate package in case of error. 784 785 * sem_ch12.adb (Inline_Instance_Body): place head of use_clause 786 chain back on scope stack before reinstalling use clauses. 787 788 * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings 789 is enabled, do not kill the code for the condition, to preserve 790 warning. 791 7922001-12-11 Robert Dewar <dewar@gnat.com> 793 794 * checks.adb (Insert_Valid_Check): Apply validity check to expression 795 of conversion, not to result of conversion. 796 7972001-12-11 Ed Schonberg <schonber@gnat.com> 798 799 * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag 800 before freezing parent. If the declarations are mutually recursive, 801 an access to the current record type may be frozen before the 802 derivation is complete. 803 8042001-12-05 Vincent Celier <celier@gnat.com> 805 806 * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY, 807 -c /COMPILE_ONLY, -l /LINK_ONLY 808 809 * opt.ads: 810 (Bind_Only): New Flag 811 (Link_Only): New flag 812 813 * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only) 814 and -l (Link_Only) 815 816 * makeusg.adb: Add new switches -b and -l. Update Copyright notice. 817 818 * make.adb: 819 (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags. 820 (Gnatmake): Set the step flags. Only perform a step if the 821 corresponding step flag is True. 822 (Scan_Make_Arg): Reset the bind and link step flags when -u 823 or -gnatc has been specified. 824 8252001-12-05 Ed Schonberg <schonber@gnat.com> 826 827 * sem_eval.adb (Eval_Concatenation): If left operand is a null string, 828 get bounds from right operand. 829 830 * sem_eval.adb: Minor reformatting 831 832 * exp_util.adb (Make_Literal_Range): use bound of literal rather 833 than Index'First, its lower bound may be different from 1. 834 835 * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B 836 and C48009J 837 8382001-12-05 Vincent Celier <celier@gnat.com> 839 840 * prj-nmsc.adb Minor reformatting 841 842 * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if 843 set and libraries are not supported. 844 8452001-12-05 Ed Schonberg <schonber@gnat.com> 846 847 * sem_ch3.adb (Build_Derived_Private_Type): set Public status of 848 private view explicitly, so the back-end can treat as a global 849 when appropriate. 850 8512001-12-05 Ed Schonberg <schonber@gnat.com> 852 853 * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation 854 unit, always replace instance node with new body, for ASIS use. 855 8562001-12-05 Vincent Celier <celier@gnat.com> 857 858 * prj-nmsc.adb (Language_Independent_Check): Issue a warning if 859 libraries are not supported and both attributes Library_Name and 860 Library_Dir are specified. 861 862 * prj-proc.adb (Expression): Set location of Result to location of 863 first term. 864 865 * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS. 866 (prj-nmsc is now importing MLib.Tgt) 867 868 * prj-proc.adb: Put the change indicated above that was forgotten. 869 8702001-12-05 Robert Dewar <dewar@gnat.com> 871 872 * Makefile.in: Add dependencies for System.IO for GNAT.Regexp 873 8742001-12-05 Ed Schonberg <schonber@gnat.com> 875 876 * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a 877 constraint, introduce explicit subtype declaration and derive from it. 878 879 * sem_ch3.adb: Minor reformatting 880 8812001-12-05 Robert Dewar <dewar@gnat.com> 882 883 * checks.adb (Determine_Range): Increase cache size for checks. 884 Minor reformatting 885 886 * exp_ch6.adb: Minor reformatting 887 (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has 888 a parameter whose root type is System.Address, since treating such 889 subprograms as pure in the code generator is almost surely a mistake 890 that will lead to unexpected results. 891 892 * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and 893 change handling of conversions. 894 895 * g-regexp.adb: Use System.IO instead of Ada.Text_IO. 896 8972001-12-05 Ed Schonberg <schonber@gnat.com> 898 899 * sem_ch3.adb (Analyze_Object_Declaration): If expression is an 900 aggregate with static wrong size, attach generated Raise node to 901 declaration. 902 9032001-12-05 Robert Dewar <dewar@gnat.com> 904 905 * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute. 906 Fixes compilation abandoned bomb in B24009B. 907 9082001-12-05 Ed Schonberg <schonber@gnat.com> 909 910 * sem_ch12.adb: 911 Document use of Associated_Node on Selected_Components. 912 (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants, 913 to clarify use of untyped descendant fields. 914 9152001-12-05 Robert Dewar <dewar@gnat.com> 916 917 * prj-dect.ads: Add ??? comment 918 Add 2001 to copyright notice (was not done in after all) 919 920 * prj-part.adb: Minor reformatting. Reword one awkward error message. 921 922 * prj.ads: Minor reformatting throughout, and add some ??? comments 923 924 * snames.ads: Minor reformatting 925 9262001-12-05 Geert Bosch <bosch@gnat.com> 927 928 * snames.adb: Autoupdate 929 9302001-12-05 Vincent Celier <celier@gnat.com> 931 932 * prj-dect.adb (Parse): Rename parameter Modifying to Extends. 933 934 * prj-dect.ads (Parse): Rename parameter Modifying to Extends. 935 936 * prj-env.adb: Minor comment changes (modifying -> extends). 937 938 * prj-nmsc.adb: Minor comment changes (modifying -> extends). 939 940 * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to 941 Tok_Extends. 942 943 * prj.adb (Initialize): Change Modifying to Extends. 944 945 * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends. 946 947 * prj.ads: Minor comment change (Modifying -> extending). 948 949 * snames.ads: Change modifying to extends. 950 9512001-12-05 Robert Dewar <dewar@gnat.com> 952 953 * sem_warn.adb: Remove stuff for conditionals, we are not going to 954 do this after all. 955 956 * sem_warn.ads: Remove stuff for conditionals, we are not going to 957 do this after all. Add 2001 to copyright notice 958 9592001-12-04 Geert Bosch <bosch@gnat.com> 960 961 * einfo.h, sinfo.h, treeprs.ads: Regenerate. 962 9632001-12-04 Robert Dewar <dewar@gnat.com> 964 965 * errout.adb (Error_Msg): Ignore attempt to put error msg at junk 966 location if we already have errors. Stops some cases of cascaded 967 errors. 968 969 * errout.adb: Improve comment. 970 9712001-12-04 Robert Dewar <dewar@gnat.com> 972 973 * sem_ch12.adb: 974 (Analyze_Formal_Type_Definition): Defend against Error. 975 (Analyze_Formal_Subprogram): Defend against Error. 976 977 * par-ch12.adb (F_Formal_Type_Declaration): In case of error, 978 remove following semicolon if present. Removes cascaded error. 979 9802001-12-04 Douglas B. Rupp <rupp@gnat.com> 981 982 * bindgen.adb: 983 (Gen_Exception_Table_Ada): Write "begin" and then return if Num 984 exceptions equals 0. 985 (Gen_Exception_Table_C): Return if Num exceptions equals 0. 986 Fixes PIWG E tests (which have to be run with -gnatL). 987 9882001-12-04 Robert Dewar <dewar@gnat.com> 989 990 * einfo.ads: Minor reformatting 991 9922001-12-04 Ed Schonberg <schonber@gnat.com> 993 994 * einfo.ads: Block_Node points to the identifier of the block, not to 995 the block node itself, to preserve the link when the block is 996 rewritten, e.g. within an if-statement with a static condition. 997 998 * inline.adb (Cleanup_Scopes): recover block statement from block 999 entity using new meaning of Block_Node. 1000 1001 * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to 1002 identifier of block node, rather than to node itself. 1003 10042001-12-04 Gary Dismukes <dismukes@gnat.com> 1005 1006 * layout.adb: 1007 (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size. 1008 (Discrimify): Go back to setting the Etypes of the selected component 1009 because the Vname component does not exist at this point and will 1010 fail name resolution. Also set Analyzed. 1011 Remove with and use of Sem_Res. 1012 10132001-12-04 Arnaud Charlet <charlet@gnat.com> 1014 1015 * Makefile.in: (HIE_SOURCES): add s-fat*. 1016 10172001-12-04 Robert Dewar <dewar@gnat.com> 1018 1019 * sem_attr.adb: 1020 (Compile_Time_Known_Attribute): New procedure. 1021 (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure 1022 proper range check. 1023 10242001-12-04 Ed Schonberg <schonber@gnat.com> 1025 1026 * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before 1027 processing discriminants to diagnose illegal default values. 1028 10292001-12-04 Ed Schonberg <schonber@gnat.com> 1030 1031 * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide 1032 access discriminant within a type extension that constrains its 1033 parent discriminants. 1034 10352001-12-04 Ed Schonberg <schonber@gnat.com> 1036 1037 * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication 1038 is malformed, use instance of Any_Id to allow analysis to proceed. 1039 1040 * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if 1041 type definition is illegal. 1042 (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is 1043 misplaced. 1044 10452001-12-04 Ed Schonberg <schonber@gnat.com> 1046 1047 * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to 1048 constants. 1049 10502001-12-04 Robert Dewar <dewar@gnat.com> 1051 1052 * errout.adb: Minor reformatting 1053 10542001-12-04 Robert Dewar <dewar@gnat.com> 1055 1056 * exp_util.adb: Minor reformatting from last change 1057 1058 * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node 1059 which is a rewriting of an expression, traverse the original 1060 expression to remove warnings that may have been posted on it. 1061 10622001-12-04 Ed Schonberg <schonber@gnat.com> 1063 1064 * exp_util.adb (Must_Be_Aligned): Return false for a component of a 1065 record that has other packed components. 1066 10672001-12-04 Douglass B. Rupp <rupp@gnat.com> 1068 1069 * adaint.c: Minor cleanups. 1070 10712001-12-04 Douglass B. Rupp <rupp@gnat.com> 1072 1073 * adaint.c: Do not use utime.h on vxworks. 1074 10752001-12-04 Arnaud Charlet <charlet@gnat.com> 1076 1077 * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes 1078 more confusion than it solves. 1079 10802001-12-04 Geert bosch <bosch@gnat.com> 1081 1082 * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate. 1083 10842001-12-04 Geert Bosch <bosch@gnat.com> 1085 1086 * Makefile.in (update-sources): New target. 1087 For use by gcc_release script. 1088 10892001-12-04 Ed Schonberg <schonber@gnat.com> 1090 1091 * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as 1092 a configuration pragma, it is now legal wherever a pragma can appear. 1093 10942001-12-04 Zack Weinberg <zack@codesourcery.com> 1095 1096 * Makefile.in: Don't set ALL. Delete @cross_defines@, 1097 @cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS 1098 is now @CROSS@ -DIN_GCC; update comment. 1099 11002001-12-04 Robert Dewar <dewar@gnat.com> 1101 1102 * einfo.adb (Has_Pragma_Pure_Function): New flag. 1103 Fix problem that stopped ceinfo from working 1104 1105 * einfo.ads (Has_Pragma_Pure_Function): New flag. 1106 1107 * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function. 1108 11092001-12-04 Douglas B. Rupp <rupp@gnat.com> 1110 1111 * gnatchop.adb: 1112 (File_Time_Stamp): New procedure. 1113 (Preserve_Mode): New boolean. 1114 (Write_Unit): Pass time stamp. 1115 Implement -p switch (preserve time stamps). 1116 1117 * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE). 1118 1119 * gnatchop.adb: Do usage info for -p switch 1120 1121 * adaint.h (__gnat_set_file_time_name): New function 1122 1123 * adaint.c (__gnat_set_file_time_name): Implement 1124 1125 * adaint.h: Fix typo 1126 11272001-12-03 Robert Dewar <dewar@gnat.com> 1128 1129 * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not 1130 have Associated_Node. 1131 11322001-12-03 Robert Dewar <dewar@gnat.com> 1133 1134 * prj-proc.adb: Minor reformatting 1135 1136 * make.adb: Minor reformatting 1137 11382001-12-03 Geert Bosch <bosch@gnat.com> 1139 1140 * make.adb: Minor reformatting. 1141 11422001-12-03 Robert Dewar <dewar@gnat.com> 1143 1144 * sem_ch12.adb: Minor reformatting 1145 11462001-12-03 Ed Schonberg <schonber@gnat.com> 1147 1148 * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and 1149 push Standard on the stack before analyzing the instance body, 1150 in order to have a clean visibility environment. 1151 1152 * sem_ch12.adb (Inline_Instance_Body): Remove redundant code. 1153 11542001-12-03 Ed Schonberg <schonber@gnat.com> 1155 1156 * sem_ch12.adb (Instantiate_Package_Body): Protect against double 1157 instantiation of a body that contains an inlined body. 1158 11592001-12-03 Ed Schonberg <schonber@gnat.com> 1160 1161 * sem_ch12.adb: 1162 (Analyze_generic_subprogram_Declaration): Set outer_generic_scope, 1163 to prevent freezing within formal packages. 1164 (Freeze_Subprogram_Body): If body comes from another instance that 1165 appeared before its own body, place freeze node at end of current 1166 declarative part, to prevent a back-end crash. 1167 (Inline_Instance_Body): Handle properly a package instance within 1168 a subprogram instance that is a child unit. 1169 11702001-12-01 Graham Stott <grahams@redhat.com> 1171 1172 * Makefile.in (misc.o): Add missing $(srcdir) prefix 1173 and add optabs.h dependency. 1174 1175 * misc.c: Include optabs.h 1176 (gnat_tree_code_type): Make static and const. 1177 (gnat_tree_code_length): Likewise. 1178 (gnat_tree_code_name): Likewise. 1179 (update_setjmp_buf): Obtain operands mode from insn_data. 1180 11812001-11-29 Richard Henderson <rth@redhat.com> 1182 1183 * init.c: Remove obsolete dwarf2 frame.h section. 1184 11852001-11-29 Joseph S. Myers <jsm28@cam.ac.uk> 1186 1187 * Make-lang.in (ada.generated-manpages): New dummy target. 1188 11892001-11-29 Ed Schonberg <schonber@gnat.com> 1190 1191 * g-os_lib.adb (Add_To_Command): use explicit loop to move string 1192 into Command, an array conversion is illegal here. Uncovered by 1193 ACATS B460005. 1194 11952001-11-28 Geert Bosch <bosch@gnat.com> 1196 1197 * init.c: Minor whitespace changes. 1198 11992001-11-28 Doug Rupp <rupp@gnat.com> 1200 1201 * init.c: (__gnat_install_handler,VMS): Increase size of alternate 1202 signal stack. 1203 12042001-11-28 Zack Weinberg <zack@codesourcery.com> 1205 1206 * misc.c (gnat_expand_constant): Move declaration above 1207 definition of lang_hooks. 1208 (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant. 1209 (gnat_init): lang_expand_constant no longer exists. 1210 1211 (internal_error_function): Remove #ifdef HAVE_VPRINTF. We 1212 always have vprintf. 1213 (gnat_init): Always call set_internal_error_function. 1214 12152001-11-27 Andreas Jaeger <aj@suse.de> 1216 1217 * Makefile.in (stamp-tool_src_dir): Use symbolic link. 1218 12192001-11-27 Laurent Guerby <guerby@acm.org> 1220 1221 * Makefile.in: Regenerate Ada dependencies. 1222 12232001-11-26 Richard Henderson <rth@redhat.com> 1224 1225 * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd, 1226 gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys, 1227 gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o. 1228 12292001-11-25 Laurent Guerby <guerby@acm.org> 1230 1231 * sysdep.c (rts_get_*): Fix style. 1232 12332001-11-19 Laurent Guerby <guerby@acm.org> 1234 1235 * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include 1236 since it is of no apparent use and cause warnings. 1237 12382001-11-18 Neil Booth <neil@daikokuya.demon.co.uk> 1239 1240 * misc.c (gnat_decode_option, gnat_init_options): Make definitions 1241 static too. 1242 (gnat_init): Don't return NULL. 1243 (finish_parse): Remove. 1244 12452001-11-17 Laurent Guerby <guerby@acm.org> 1246 1247 * Make-lang.in (GNATLIBFLAGS): Add -W -Wall. 1248 * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing. 1249 * io-aux.c: Provide K&R prototypes to all functions, reformat code. 1250 * lang-spec.h: Add missing struct field to silence warnings. 1251 * sysdep.c (rts_get_*): Provide K&R prototype. 1252 * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype. 1253 * traceback.c (Unlock_Task, Lock_Task): Likewise. 1254 * tracebak.c (__gnat_backtrace): Remove unused variable. 1255 * utils.c (end_subprog_body): Move to K&R style. 1256 1257Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> 1258 1259 * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference. 1260 12612001-11-15 Neil Booth <neil@daikokuya.demon.co.uk> 1262 1263 * misc.c (gnat_init): Change prototype. Include the 1264 functionality of the old init_parse and init_decl_processing. 1265 (gnat_init_decl_processing): New prototype. 1266 (init_parse): Remove. 1267 * utils.c (init_decl_processing): Rename gnat_init_decl_processing. 1268 12692001-11-09 Neil Booth <neil@daikokuya.demon.co.uk> 1270 1271 * misc.c (gnat_print_decl, gnat_print_type): Renamed. 1272 (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override. 1273 (print_lang_statistics, lang_print_xnode, print_lang_identifier, 1274 set_yydebug): Remove. 1275 12762001-11-09 Neil Booth <neil@daikokuya.demon.co.uk> 1277 1278 * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override. 1279 (struct lang_hooks): Constify. 1280 (language_string, lang_identify): Remove. 1281 * utils.c (init_decl_processing): Update. 1282 12832001-11-06 Neil Booth <neil@cat.daikokuya.demon.co.uk> 1284 1285 * misc.c: Include langhooks-def.h. 1286 * Makefile.in: Update. 1287 12882001-10-30 Robert Dewar <dewar@gnat.com> 1289 1290 * style.adb: 1291 (Check_Identifier): Rewrite circuit to be compatible with use of letters 1292 in the upper half of ASCII. 1293 (Check_Identifier): Minor reformatting 1294 12952001-10-30 Geert Bosch <bosch@gnat.com> 1296 1297 * (Associated_Node, Set_Associated_Node): Do not check for 1298 Freeze_Entity. 1299 13002001-10-30 Robert Dewar <dewar@gnat.com> 1301 1302 * a-reatim.ads: Minor reformatting 1303 13042001-10-30 Robert Dewar <dewar@gnat.com> 1305 1306 * gnatdll.adb: Minor reformatting throughout. Many ??? added for 1307 undocumented declarations. 1308 13092001-10-30 Pascal Obry <obry@gnat.com> 1310 1311 * gnatdll.adb (Parse_Command_Line): handle -g option to be passed 1312 to the binder and linker. 1313 Minor style fix. 1314 1315 * mdll.ads: Fix layout. Update copyright notice. 1316 1317 * mdll.adb: Fix layout. Update copyright notice. 1318 13192001-10-30 Robert Dewar <dewar@gnat.com> 1320 1321 * usage.adb: Minor fix to output for -gnaty. 1322 13232001-10-30 Ed Schonberg <schonber@gnat.com> 1324 1325 * a-reatim.ads: Makes Seconds_Count into a 64-bit integer, 1326 to accommodate all its possible values. 1327 1328 * a-reatim.adb (Split): Special-case handling of Time_Span_First 1329 and of small absolute values of T. 1330 13312001-10-30 Richard Kenner <kenner@gnat.com> 1332 1333 * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to 1334 set_mem_attributes since not needed and wrong if RESULT if a REG; 1335 fixes ACATS failures. 1336 13372001-10-30 Geert Bosch <bosch@gnat.com> 1338 1339 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads, 1340 s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice. 1341 13422001-10-30 Robert Dewar <dewar@gnat.com> 1343 1344 * bindusg.adb: Undocument -f switch. 1345 1346 * gnatcmd.adb: Remove /FULL_ELABORATION. 1347 1348 * opt.ads (Force_RM_Elaboration_Order): Document that this is 1349 obsolescent. 1350 1351 * gnatbind.adb: Output new warning for use of obsolescent -f switch. 1352 1353 * gnatbind.adb: Minor update of warning msg. 1354 13552001-10-30 Vincent Celier <celier@gnat.com> 1356 1357 * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations 1358 for project file switches (-P (/PROJECT_FILE=), 1359 -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT 1360 or MEDIUM or HIGH) 1361 13622001-10-30 Geert Bosch <bosch@gnat.com> 1363 1364 * decl.c: Minor whitespace fixes. 1365 13662001-10-30 Richard Kenner <kenner@gnat.com> 1367 1368 * utils2.c (build_allocator): Test for SIZE overflow in array case too 1369 13702001-10-30 Geert Bosch <bosch@gnat.com> 1371 1372 * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out. 1373 Found due to GCC 3.0 warning of using uninitialized value. 1374 1375 * layout.adb: 1376 (Get_Max_Size): Use variant record for tracking value/expression. 1377 Makes logic clearer and prevents warnings for uninitialized variables. 1378 (Layout_Array_Type): Use variant record for tracking value/expression. 1379 Makes logic clearer and prevents warnings for uninitialized variables. 1380 13812001-10-30 Robert Dewar <dewar@gnat.com> 1382 1383 * lib.adb: Minor reformatting 1384 1385 * s-taprop.ads: Minor reformatting 1386 13872001-10-29 Laurent Guerby <guerby@acm.org> 1388 1389 * init.c: 1390 (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg 1391 const. 1392 (_gnat_error_handler): Make MSG const. 1393 13942001-10-29 Richard Kenner <kenner@gnat.com> 1395 1396 * sysdep.c: Fix localtime_r problem on LynxOS. 1397 Also remove #elif to avoid warnings. 1398 1399 * misc.c (yyparse): Don't set up and register jmpbuf; remove decls 1400 used by this. 1401 1402 * decl.c (annotate_value): Make SIZE unsigned to avoid warning. 1403 14042001-10-28 Joseph S. Myers <jsm28@cam.ac.uk> 1405 1406 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb, 1407 exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb, 1408 g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads, 1409 g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c, 1410 layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads, 1411 s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads, 1412 sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb, 1413 sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb, 1414 sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads, 1415 types.ads, urealp.adb: Fix spelling errors. 1416 14172001-10-27 Laurent Guerby <guerby@acm.org> 1418 1419 * trans.c (gigi): Fix non determinism leading to bootstrap 1420 comparison failures for debugging information. 1421 14222001-10-26 Florian Weimer <fw@deneb.enyo.de> 1423 1424 * gnat_rm.texi: Use @./@: where appropriate. 1425 14262001-10-26 Robert Dewar <dewar@gnat.com> 1427 1428 * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup. 1429 14302001-10-26 Richard Kenner <kenner@gnat.com> 1431 1432 * gmem.c (__gnat_gmem_read_next): Properly check for EOF 1433 14342001-10-26 Richard Kenner <kenner@gnat.com> 1435 1436 * decl.c (validate_size): Modify message for bad size to avoid 1437 implication that compiler is modifying the size. 1438 14392001-10-26 Robert Dewar <dewar@gnat.com> 1440 1441 * prj-util.adb: Minor reformatting. Fix bad header format. 1442 14432001-10-26 Robert Dewar <dewar@gnat.com> 1444 1445 * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup. 1446 1447 * sinfo.ads: Clarify use of Associated_Node (documentation only). 1448 1449 * sem_ch12.adb: Change Node4 to Associated_Node. Change 1450 Associated_Node to Get_Associated_Node. Put use of Unchecked_Access 1451 much more narrowly in places where needed. These are cleanups. 1452 14532001-10-26 Joel Brobecker <brobecke@gnat.com> 1454 1455 * 5zosinte.ads (null_pthread): new constant. 1456 1457 * 5ztaprop.adb: 1458 (Initialize_TCB): Initialize thread ID to null, to be able to verify 1459 later that this field has been set. 1460 (Finalize_TCB): ditto. 1461 (Suspend_Task): Verify that the thread ID is not null before using it. 1462 (Resume_Task): ditto. 1463 1464 * s-tasdeb.adb: 1465 (Resume_All_Tasks): Lock the tasks list before using it. 1466 (Suspend_All_Tasks): ditto. 1467 14682001-10-26 Richard Kenner <kenner@gnat.com> 1469 1470 * decl.c (gnat_to_gnu_entity, case E_General_Access_Type): 1471 Make constant variant of designated type for Is_Access_Constant. 1472 Call update_pointer_to with main variant. 1473 1474 * trans.c (process_freeze_entity, process_type): 1475 Call update_pointer_to on main variant. 1476 1477 * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE. 1478 If main variant, update all other variants. 1479 1480 * utils2.c (build_unary_op, case INDIRECT_REF): No longer set 1481 TREE_STATIC. 1482 14832001-10-26 Robert Dewar <dewar@gnat.com> 1484 1485 * prj-util.adb: Minor reformatting 1486 14872001-10-26 Robert Dewar <dewar@gnat.com> 1488 1489 * prj-util.adb: Minor reformatting 1490 14912001-10-26 Robert Dewar <dewar@gnat.com> 1492 1493 * prj-attr.adb: Minor reformatting throughout 1494 14952001-10-26 Robert Dewar <dewar@gnat.com> 1496 1497 * prj-attr.ads: Minor reformatting 1498 Add ??? comment (this whole spec has almost no comments) 1499 15002001-10-26 Vincent Celier <celier@gnat.com> 1501 1502 * g-os_lib.adb (Normalize_Pathname): Preserve the double slash 1503 ("//") that precede the drive letter on Interix. 1504 15052001-10-26 Geert Bosch <bosch@gnat.com> 1506 1507 * gnat_rm.texi: Add GNAT Reference Manual. 1508 15092001-10-25 Robert Dewar <dewar@gnat.com> 1510 1511 * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name 1512 is Error. Similar change for other renaming cases. 1513 15142001-10-25 Robert Dewar <dewar@gnat.com> 1515 1516 * s-atacco.ads: Add pragma Inline_Always for functions. 1517 Fix header format. Add copyright 2001 1518 15192001-10-25 Ed Schonberg <schonber@gnat.com> 1520 1521 * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array 1522 return Error rather than Empty so that analysis can proceed. 1523 15242001-10-25 Ed Schonberg <schonber@gnat.com> 1525 1526 * sem_util.adb (Enter_Name): better handling of cascaded error 1527 messages when a unit appears in its own context. 1528 15292001-10-25 Ed Schonberg <schonber@gnat.com> 1530 1531 * sem_util.adb (Defining_Entity): in case of error, attach created 1532 entity to specification, so that semantic analysis can proceed. 1533 15342001-10-25 Robert Dewar <dewar@gnat.com> 1535 1536 * sem_util.adb 1537 (Defining_Entity): Deal with Error. 1538 (Process_End_Label): Deal with bad end label for. 1539 15402001-10-25 Ed Schonberg <schonber@gnat.com> 1541 1542 * sem_elab.adb (Check_A_Call): refine message when call is in an 1543 instance but callee is not declared in the generic unit. 1544 15452001-10-25 Ed Schonberg <schonber@gnat.com> 1546 1547 * sem_elab.adb (Check_A_Call): check for renaming before finding the 1548 enclosing unit, which may already be different from the calling unit. 1549 15502001-10-25 Geert Bosch <bosch@gnat.com> 1551 1552 * 4gintnam.ads: fix header format. 1553 15542001-10-25 Ed Schonberg <schonber@gnat.com> 1555 1556 * sem_res.adb (Resolve_Call): if the call is actually an indexing 1557 operation on the result of a parameterless call, perform elaboration 1558 check after the node has been properly rewritten. 1559 1560 * sem_ch12.adb (Copy_Generic_Node): after the proper body has been 1561 inlined within the generic tree, the defining identifier is not a 1562 compilation_unit. 1563 15642001-10-25 Ed Schonberg <schonber@gnat.com> 1565 1566 * sem_res.adb (Resolve): special-case resolution of Null in an 1567 instance or an inlined body to avoid view conflicts. 1568 1569 * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view 1570 compatibility by retrieving the access type of the generic copy. 1571 15722001-10-25 Robert Dewar <dewar@gnat.com> 1573 1574 * sem_ch3.adb: 1575 (Analyze_Number_Declaration): Handle error expression. 1576 (Signed_Integer_Type_Declaration): Handle error bound. 1577 (Analyze_Subtype_Indication): Handle error range. 1578 1579 * sem_util.adb (Get_Index_Bounds): Check for Error. 1580 15812001-10-25 Robert Dewar <dewar@gnat.com> 1582 1583 * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default 1584 in no run time mode. 1585 15862001-10-25 Pascal Obry <obry@gnat.com> 1587 1588 * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet 1589 mode case for ALLOC case. 1590 1591 * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on 1592 all platforms. Improvement of last change. 1593 15942001-10-25 Robert Dewar <dewar@gnat.com> 1595 1596 * exp_ch4.adb (Expand_N_Allocator): Minor reformatting. 1597 15982001-10-25 Geert Bosch <bosch@gnat.com> 1599 1600 * osint.adb (Is_Relative): Remove duplicate. 1601 16022001-10-25 Pascal Obry <obry@gnat.com> 1603 1604 * osint.adb (Read_Default_Search_Dirs): correctly detect relative 1605 pathnames in UNIX and DOS style with drive letter. 1606 (Is_Relative): new routine. 1607 1608 * osint.adb: Minor reformatting 1609 1610 * osint.adb (Is_Relative): implementation using 1611 GNAT.OS_Lib.Is_Absolute_Path. Better fix. 1612 16132001-10-25 Pascal Obry <obry@gnat.com> 1614 1615 * g-dirope.adb (Basename): correctly compute offset between the 1616 original Path and the translated one. 1617 1618 * g-dirope.adb: (Base_Name): add some comments. 1619 16202001-10-25 Robert Dewar <dewar@gnat.com> 1621 1622 * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use 1623 in HIE mode, avoids compilation abandoned message 1624 1625 * exp_imgv.adb: Correct typo in previous change 1626 1627 * exp_imgv.adb: Correct typo in previous change (not my day!) 1628 16292001-10-25 Robert Dewar <dewar@gnat.com> 1630 1631 * s-tpinop.ads: Add 2001 to copyright notice. Fix header format. 1632 16332001-10-25 Pascal Obry <obry@gnat.com> 1634 1635 * g-awk.ads: Move all pragma inlines next to the routine 1636 declarations. This is more uniform with other GNAT spec. 1637 16382001-10-22 Geert Bosch <bosch@gnat.com> 1639 1640 * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem. 1641 16422001-10-19 Geert Bosch <bosch@gnat.com> 1643 1644 * Makefile.in (tools, gnattools): Remove gnatmem. 1645 16462001-10-17 Richard Henderson <rth@redhat.com> 1647 1648 * Makefile.in (misc.o): Depend on langhooks.h. 1649 * misc.c: Include it. 1650 (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New. 1651 (LANG_HOOKS_DECODE_OPTION): New. 1652 (lang_hooks): Use LANG_HOOKS_INITIALIZER. 1653 16542001-10-16 Florian Weimer <fw@deneb.enyo.de> 1655 1656 * trans.c (tree_transform): Adjust to recent change in 1657 expand_asm_operands to implement named asm operands. 1658 16592001-10-11 Ed Schonberg <schonber@gnat.com> 1660 1661 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in 1662 renaming of discriminant for mutable record type. 1663 16642001-10-11 Robert Dewar <dewar@gnat.com> 1665 1666 * validsw.adb: Properly save -gnatVn status. 1667 16682001-10-11 Robert Dewar <dewar@gnat.com> 1669 1670 * usage.adb: Add lines for V switch. 1671 1672 * gnatcmd.adb (COMPILE): Revise translations for -gnatV 1673 (/VALIDITY_CHECKING). 1674 16752001-10-11 Ed Schonberg <schonber@gnat.com> 1676 1677 * sem_type.adb (Add_One_Interp): an operator for a type declared in 1678 an extension of System is known to be visible. 1679 16802001-10-11 Ed Schonberg <schonber@gnat.com> 1681 1682 * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal 1683 properly. Fixes regression on ACATS C34005G. 1684 16852001-10-11 Robert Dewar <dewar@gnat.com> 1686 1687 * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null 1688 loop in generic instance, since this is likely not very useful. 1689 16902001-10-11 Robert Dewar <dewar@gnat.com> 1691 1692 * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize 1693 the error message for high integrity mode. 1694 1695 * rtsfind.adb (RTE): Give message if we try to find an entity that 1696 is not available in high integrity mode. 1697 1698 * rtsfind.ads: 1699 (OK_To_Use_In_HIE_Mode): New array. 1700 (RTE): May return Empty in high integrity mode. 1701 1702 * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for 1703 OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx. 1704 1705 * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined 1706 unit if not inlined always and in no runtime mode. Fixes problem 1707 caused by new Rtsfind changes. 1708 1709 * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if 1710 body is deleted. 1711 1712 * rtsfind.adb (RTE): Make sure we do not try to load unit after 1713 giving message for entity not available in high integrity mode. 1714 17152001-10-11 Pascal Obry <obry@gnat.com> 1716 1717 * impunit.adb: Add GNAT.CRC32. 1718 17192001-10-11 Ed Schonberg <schonber@gnat.com> 1720 1721 * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle 1722 properly the case where one universal operand in a non-static 1723 exponentiation of a real literal. 1724 17252001-10-11 Ed Schonberg <schonber@gnat.com> 1726 1727 * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type 1728 clause, return the gobal finalization list, for lack of anthing else. 1729 17302001-10-11 Ed Schonberg <schonber@gnat.com> 1731 1732 * exp_ch7.adb (Make_Transient_Block): if statement is within 1733 exception handler, always use new transient scope to place Clean 1734 procedure. 1735 17362001-10-11 Pascal Obry <obry@gnat.com> 1737 1738 * Makefile.in: 1739 (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o 1740 (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o 1741 (GNATLS_RTL_OBJS): add g-crc32.o 1742 (GNATMAKE_RTL_OBJS): add g-crc32.o 1743 1744 * ali-util.adb: 1745 (CRC_Match): new function. 1746 (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit 1747 instead of the previous simple checksum algorithm. 1748 (Time_Stamp_Mismatch): use CRC_Match for comparison. 1749 (Set_Source_Table): idem. 1750 1751 * ali-util.ads: 1752 (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC 1753 instead of simple checksum. 1754 (CRC_Match): new function. 1755 (CRC_Error): new constant. 1756 1757 * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling 1758 a CRC now and not a simple checksum. A CRC uses lower-case hex 1759 letters, fixes ambiguity in parsing. 1760 1761 * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this 1762 is what this variable will store. 1763 1764 * bcheck.adb: Change reference to chechsum in comments by CRC. 1765 (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC. 1766 rename All_Checksum_Match to All_CRC_Match. Change due to API 1767 renaming since now GNAT does not use a simple checksum but a 1768 CRC using GNAT.CRC32. 1769 1770 * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC 1771 now and not anymore a simple checksum. 1772 1773 * lib-load.adb: Use Source_CRC instead of Source_Checksum in many 1774 places. 1775 1776 * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum. 1777 1778 * scans.adb: 1779 (Restore_Scan_State): rename Checksum to CRC. 1780 (Save_Scan_State): idem. 1781 1782 * scans.ads: 1783 With GNAT.CRC32. 1784 (Checksum): rename to CRC. 1785 (Saved_Scan_State): Save_Checksum field renamed to Save_CRC 1786 1787 * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from 1788 GNAT.CRC32). Update copyright notice. 1789 1790 * scn-slit.adb: Rename many Accumulate_Checksum to Update (from 1791 GNAT.CRC32). Update copyright notice. 1792 1793 * scn.adb: 1794 (Accumulate_Checksum): removed. 1795 (Update): new procedure. Add a wide-character into the CRC. 1796 1797 * sinput-l.adb: 1798 (Complete_Source_File_Entry): use CRC32 instead of simple checksum. 1799 (Load_File): fix initialization of S (change Source_Checksum to 1800 Source_CRC) 1801 1802 * sinput-p.adb (Load_Project_File): rename Source_Checksum to 1803 Source_CRC in S initialization. 1804 1805 * sinput.adb (Source_Checksum): renamed to Source_CRC. 1806 1807 * sinput.ads (Source_Checksum): renamed to Source_CRC. 1808 Update comments for the CRC. 1809 1810 * types.adb (Hex): Use lowercase for the letter part. 1811 1812 * types.ads (Get_Hex_String): Returns the hexadecimal representation 1813 for a word. This is currently used only for CRC. In previous version, 1814 the checksum was using a representation with all letter being 1815 upper-case. With the new implementation (using CRC) we do not remove 1816 the 32th bit of the CRC, so we can have an upper-case starting letter 1817 in the CRC. This is not possible to parse in Scan_ALI (ali.adb). 1818 It is ambigous since the CRC was optional and could be followed by 1819 options like EB, EE. So now this routines uses lower-case letter for 1820 the hexadecimal representation. Strange enough only lower case letters 1821 where checked in Scan_ALI (even if this was not a possible case). 1822 1823 * gnatvsn.ads (Library_Version): changed to 3.15a. 1824 1825 * s-crc32.ads: Initial version from GNAT.CRC32. This is the version 1826 for the compiler. 1827 1828 * s-crc32.adb: Initial version from GNAT.CRC32. This is the version 1829 for the compiler. 1830 1831 * ali-util.adb: Redo previous change to avoid using word CRC everywhere 1832 Add 2001 to copyright notice 1833 (Accumulate_Checksum): Modify to use System.CRC32. 1834 1835 * ali-util.ads: Redo changes of previous revision to continue to use 1836 the word Checksum. Add 2001 to copyright notice. 1837 1838 * ali.adb: Undo some of previous changes, not needed. 1839 Keep the change for lower case letters in the checksum. 1840 1841 * ali.ads: Undo previous change not needed. 1842 1843 * bcheck.adb: Undo most of previous change, not needed. 1844 But do use Checksums_Match for checksum comparison. 1845 1846 * gnatls.adb: Undo most of previous change, not needed. 1847 But do use Checksums_Match for comparing checksums. 1848 1849 * lib-load.adb: Undo previous change, not needed. 1850 1851 * lib-writ.adb: Undo previous change, not needed. 1852 1853 * lib-writ.ads: Document that checksums use lower case, 1854 not upper case letters. 1855 1856 * scans.adb: Undo previous change, not needed 1857 1858 * scans.ads: Undo previous change, not needed. 1859 1860 * scn-nlit.adb: Undo previous changes, not needed. 1861 1862 * scn-slit.adb: Undo previous change, not needed. Fix header format. 1863 1864 * scn.adb: 1865 (Accumulate_Checksum): Use System.CRC32. 1866 (Initialize_Checksum): New procedure. 1867 Remove other changes of previous revision. 1868 1869 * sinput-p.adb: Undo previous change, not needed. 1870 1871 * sinput.adb: Undo previous change, not needed. 1872 1873 * sinput-l.adb: Undo previous change, not needed. 1874 1875 * sinput.ads: Undo previous change, not needed. Keep only comment 1876 on new checksum algorithm 1877 1878 * Makefile.in: Add s-crc32 as needed, remove g-crc32. 1879 Also remove a-tags and a-stream from GNAT sources. 1880 1881 * ali.adb (Scan_ALI): fix typo introduce in latest check-in. 1882 1883 * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o. 1884 18852001-10-11 Geert Bosch <bosch@gnat.com> 1886 1887 * einfo.h: Regenerate. 1888 1889 * nmake.ads: Regenerate. 1890 1891 * nmake.adb: Regenerate. 1892 1893 * sinfo.h: Regenerate. 1894 1895 * treeprs.adb: Regenerate. 1896 18972001-10-10 Geert Bosch <bosch@gnat.com> 1898 1899 * gnat-style.texi: New file describing coding guidelines for Ada. 1900 19012001-10-10 Ed Schonberg <schonber@gnat.com> 1902 1903 * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required 1904 is Flag174. 1905 19062001-10-10 Geert Bosch <bosch@gnat.com> 1907 1908 * snames.ads: Add new names for project facility. 1909 1910 * snames.adb: Update to reflect snames.ads changes. 1911 1912 * snames.h: Update to reflect snames.ads changes. 1913 19142001-10-10 Vincent Celier <celier@gnat.com> 1915 1916 * make.adb: 1917 (Add_Switches): reflect the changes for the switches attributes 1918 Default_Switches indexed by the programming language, 1919 Switches indexed by the file name. 1920 (Collect_Arguments_And_Compile): Idem. 1921 Reflect the attribute name changes. 1922 1923 * prj-attr.adb: 1924 (Initialisation_Data): Change the names of some packages and 1925 attributes. 1926 (Initialize): process case insensitive associative arrays. 1927 1928 * prj-attr.ads: 1929 (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array. 1930 1931 * prj-dect.adb: 1932 (Parse_Attribute_Declaration): For case insensitive associative 1933 arrays, set the index string to lower case. 1934 1935 * prj-env.adb: 1936 Reflect the changes of the project attributes. 1937 1938 * prj-nmsc.adb: 1939 Replace Check_Naming_Scheme by Ada_Check and 1940 Language_Independent_Check. 1941 1942 * prj-nmsc.ads: 1943 Replaced Check_Naming_Scheme by 2 procedures: 1944 Ada_Check and Language_Independent_Check. 1945 1946 * prj-proc.adb: 1947 (Process_Declarative_Items): For case-insensitive associative 1948 arrays, set the index string to lower case. 1949 (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of 1950 Prj.Nmsc.Check_Naming_Scheme. 1951 1952 * prj-tree.adb: 1953 (Case_Insensitive): New function 1954 (Set_Case_Insensitive): New procedure 1955 1956 * prj-tree.ads: 1957 (Case_Insensitive): New function 1958 (Set_Case_Insensitive): New procedure 1959 (Project_Node_Record): New flag Case_Insensitive. 1960 1961 * prj-util.adb: 1962 (Value_Of): new function to get the string value of a single 1963 string variable or attribute. 1964 1965 * prj-util.ads: 1966 (Value_Of): new function to get the string value of a single 1967 string variable or attribute. 1968 1969 * prj.adb: 1970 (Ada_Default_Spec_Suffix): New function 1971 (Ada_Default_Impl_Suffix): New function 1972 Change definitions of several constants to reflect 1973 new components of record types. 1974 1975 * prj.ads: 1976 (Naming_Data): Change several components to reflect new 1977 elements of naming schemes. 1978 (Project_Data): New flags Sources_Present and 1979 Language_Independent_Checked. 1980 (Ada_Default_Spec_Suffix): New function. 1981 (Ada_Default_Impl_Suffix): New function. 1982 1983 * snames.ads: 1984 Modification of predefined names for project manager: added 1985 Implementation, Specification_Exceptions, Implementation_Exceptions, 1986 Specification_Suffix, Implementation_Suffix, Separate_Suffix, 1987 Default_Switches, _Languages, Builder, Cross_Reference, 1988 Finder. Removed Body_Part, Specification_Append, Body_Append, 1989 Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind, 1990 Gnatlink. 1991 1992 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): 1993 Add comments. 1994 1995 * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted, 1996 not that it is Nil_Variable_Value. 1997 1998 * prj.ads: Add ??? for uncommented declarations 1999 20002001-10-10 Ed Schonberg <schonber@gnat.com> 2001 2002 * sem_prag.adb: (Analyze_Pragma, case External): If entity is a 2003 constant, do not indicate possible modification, so that gigi can 2004 treat it as a bona fide constant. 2005 20062001-10-10 Robert Dewar <dewar@gnat.com> 2007 2008 * sem_prag.adb: Add processing for pragma External. 2009 2010 * snames.ads: Add entry for pragma External. 2011 2012 * par-prag.adb: Add pragma External. 2013 2014 * snames.adb: Updated to match snames.ads. 2015 20162001-10-10 Ed Schonberg <schonber@gnat.com> 2017 2018 * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for 2019 a dynamic task if the allocator appears in an indexed assignment 2020 or selected component assignment. 2021 2022 * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image): 2023 For a dynamic task in an assignment statement, use target of 2024 assignment to generate meaningful name. 2025 20262001-10-10 Ed Schonberg <schonber@gnat.com> 2027 2028 * einfo.adb (Write_Field19_Name): Body_Entity is also defined for 2029 a generic package. 2030 2031 * einfo.ads: Body_Entity is also defined for generic package. 2032 Documentation change only 2033 2034 * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an 2035 others_choice for a discriminated component initialization, 2036 convert discriminant references into the corresponding discriminals. 2037 2038 * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate 2039 only if original type is private and expression has to be wrapped 2040 in a conversion. 2041 2042 * checks.adb: 2043 (Apply_Constraint_Check): Do not perform length check 2044 if expression is an aggregate with only an others_choice. 2045 (Length_N_Cond): two references to the same in_parameter 2046 (typically the discriminal in an init_proc) denote the same value. 2047 Two useful optimization uncovered by bugfixes above. 2048 20492001-10-10 Robert Dewar <dewar@gnat.com> 2050 2051 * xeinfo.adb: Change int to char in translation of enumeration types. 2052 This fixes a problem in the C representation of component alignment. 2053 Add 2001 to copyright notice 2054 20552001-10-10 Richard Kenner <kenner@gnat.com> 2056 2057 * decl.c: (validate_size): Do check size of object of integral type 2058 if it is a packed array type. 2059 20602001-10-10 Richard Kenner <kenner@gnat.com> 2061 2062 * decl.c: (gnat_to_gnu_entity, case object): Also materialize 2063 VAR_DECL for constant if not Is_Public but -O0. 2064 20652001-10-10 Richard Kenner <kenner@gnat.com> 2066 2067 * misc.c (struct lang_hooks): Add new initializer to match GCC change. 2068 20692001-10-10 Geert Bosch <bosch@gnat.com> 2070 2071 * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer 2072 use '/' as switch character, allowing for absolute file names. 2073 20742001-10-09 Joseph S. Myers <jsm28@cam.ac.uk> 2075 2076 * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update 2077 FSF address. 2078 20792001-10-08 Geert Bosch <bosch@gnat.com> 2080 2081 * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads): 2082 Automatically build utilities when files need to be regenerated. 2083 20842001-10-08 Geert Bosch <bosch@gnat.com> 2085 2086 * xsnames.adb: New utility for updating snames.ads and snames.adb 2087 20882001-10-08 Zack Weinberg <zack@codesourcery.com> 2089 2090 * Make-lang.in (ADAFLAGS): Add -W -Wall. 2091 (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also. 2092 (gnat1): Also depend on attribs.o. 2093 (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make. 2094 * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New. 2095 (ADAC): Set to @ADAC@ in stage1, $(CC) later. 2096 (ADAFLAGS): Add -W -Wall. 2097 (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS; 2098 take out CFLAGS. 2099 2100 (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o, 2101 s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o, 2102 s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o): 2103 Use $(ADAC), not $(CC), as compilation command. 2104 2105 (gnattools): Depend directly on tools to build, don't use 2106 recursive make. 2107 (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make. 2108 2109 * einfo.h, sinfo.h: New files (autogenerated). 2110 21112001-10-08 Richard Henderson <rth@redhat.com> 2112 2113 * comperr.adb (Abort_In_Progress): New. 2114 (Compiler_Abort): Use it to prevent recursion. 2115 21162001-10-08 Robert Dewar <dewar@gnat.com> 2117 2118 * atree.adb: Set Error_Posted in Error node, helps error recovery. 2119 2120 * par-endh.adb (Output_End_Expected): We should also not test 2121 Error_Posted on the Error node, since now it is always set. 2122 2123 * cstand.adb (Create_Standard): Set Etype of Error to Any_Type 2124 to help error recovery. Part of general work on 9407-004. 2125 2126 * par.adb: Add ??? for misuse of error 2127 2128 * sem_res.adb: 2129 (Resolve): Defend against Error, fixes 9407-003. 2130 (Resolve_Discrete_Subtype_Indication): Defend against Error. 2131 2132 * sinfo.ads (N_Error): Now has Etype field (which will be set 2133 to Any_Type to help error recovery). 2134 21352001-10-08 Richard Kenner <kenner@gnat.com> 2136 2137 * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR): 2138 Consistently set MEM attributes from expression; fixes 2139 bootstrap failure on x86. 2140 21412001-10-08 Geert Bosch <bosch@gnat.com> 2142 2143 * 5oosinte.adb: Add 2001 to copyright notice. 2144 21452001-10-08 Geert Bosch <bosch@gnat.com> 2146 2147 * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs]. 2148 2149 * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs]. 2150 21512001-10-07 Joseph S. Myers <jsm28@cam.ac.uk> 2152 2153 * 5oosinte.adb: Fix spelling error of "separate" as "seperate". 2154 21552001-10-05 Geert Bosch <bosch@gnat.com> 2156 2157 * adaint.h: Small formatting fix. 2158 21592001-10-04 Geert Bosch <bosch@gnat.com> 2160 2161 * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode): 2162 Arg is int, not FILE *, in dummy version of functions. 2163 2164 * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode): 2165 Arg is int, not FILE *. 2166 21672001-10-04 Geert Bosch <bosch@gnat.com> 2168 2169 * 3lsoccon.ads: Added file, missed with initial check ins. 2170 2171 * 4lintnam.ads: Fix header format. 2172 Change Linux to GNU/Linux. 2173 2174 * 5iosinte.adb: Change Linux to GNU/Linux. 2175 2176 * 5iosinte.ads: Change Linux to GNU/Linux. 2177 2178 * 5itaprop.adb: Change Linux to GNU/Linux. 2179 2180 * 5itaspri.ads: Change Linux to GNU/Linux. 2181 Update copyright notice. 2182 2183 * 5lintman.adb: Change Linux to GNU/Linux. 2184 2185 * 5lml-tgt.adb: Change Linux to GNU/Linux. 2186 2187 * 5losinte.ads: Change Linux to GNU/Linux. 2188 2189 * 5lsystem.ads: Change Linux to GNU/Linux. 2190 2191 * 5qosinte.adb: Change Linux to GNU/Linux. 2192 2193 * 5qosinte.ads: Change Linux to GNU/Linux. 2194 2195 * 5qparame.ads: Change Linux to GNU/Linux. 2196 2197 * 5qtaprop.adb: Change Linux to GNU/Linux. 2198 2199 * 5qtaspri.ads: Change Linux to GNU/Linux. 2200 Add 2001 to copyright notice. 2201 2202 * 5vintman.ads: Change Linux to GNU/Linux. 2203 Fix header format. Add 2001 to copyright notice. 2204 2205 * g-soccon.ads: Change Linux to GNU/Linux. 2206 2207 * g-trasym.ads: Change Linux to GNU/Linux. 2208 Add 2001 to copyright notice. 2209 2210 * memtrack.adb: Change Linux to GNU/Linux. 2211 2212 * s-intman.ads: Change Linux to GNU/Linux. 2213 Add 2001 to copyright notice. Fix header format. 2214 2215 * s-stache.adb: Change Linux to GNU/Linux. 2216 2217 * adaint.c: Change Linux to GNU/Linux. 2218 2219 * cio.c: Change Linux to GNU/Linux. 2220 2221 * cstreams.c: Change Linux to GNU/Linux. 2222 2223 * init.c: Change Linux to GNU/Linux. 2224 2225 * gmem.c: Change Linux to GNU/Linux. 2226 2227 * tracebak.c: Change Linux to GNU/Linux. 2228 22292001-10-02 Geert Bosch <bosch@gnat.com> 2230 2231 * misc.c (insert_default_attributes): Add dummy version. 2232 2233 2234 2235Copyright (C) 2001 Free Software Foundation, Inc. 2236 2237Copying and distribution of this file, with or without modification, 2238are permitted in any medium without royalty provided the copyright 2239notice and this notice are preserved. 2240