aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1850-1849/+1853
2018-01-11[Ada] Minor reformattingHristian Kirtchev6-28/+39
2018-01-11[Ada] No error on missing enclosing parentheses in Expression FunctionJustin Squirek2-2/+25
2018-01-11[Ada] Missing diagnostic of categorization dependencyHristian Kirtchev2-1/+13
2018-01-11[Ada] Incorrect diagnostic on illegal with clauseHristian Kirtchev2-1/+8
2018-01-11[Ada] Spurious error on referene to subcoponrnt in dynamic predicateEd Schonberg2-3/+18
2018-01-11[Ada] Secondary stack leaks during object initializationHristian Kirtchev7-322/+375
2018-01-11[Ada] QNX: various runtime fixes for file I/O, timers, timezoneJerome Lambourg7-13/+82
2018-01-11[Ada] Null procedures not allowed in protected definitionsBob Duff2-33/+60
2018-01-11[Ada] Minor reformattingBob Duff3-3/+7
2018-01-11[Ada] Improve documentation of xml2gnatBob Duff2-5/+24
2018-01-11[Ada] gnatbind -f switch gives an error for duplicatesBob Duff2-31/+99
2018-01-11[Ada] Crash on expression function as completion, with implicit dereferenceEd Schonberg2-0/+20
2018-01-11[Ada] Add Sphinx option -W to treat warnings as errorsBen Brosgol2-1/+5
2018-01-11[Ada] Minor type/wording correctionsBen Brosgol3-11/+12
2018-01-11[Ada] Warning on use of predefined operations on an actual fixed-point typeEd Schonberg2-2/+20
2018-01-11exp_util.adb (Remove_Side_Effects): No action done for functions returning cl...Javier Miranda3-0/+19
2018-01-11[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK)Piotr Trojanek7-6/+12
2018-01-11[Ada] New implementation for Normalize_PathnamePascal Obry2-104/+66
2018-01-11[Ada] Update gnatpp documentation after engine changeBob Duff3-249/+447
2018-01-11[Ada] Secondary stack leak due to controlled componentHristian Kirtchev2-4/+7
2018-01-11[Ada] Update description of restriction SPARK_05 with SPARK 2014Yannick Moy3-28/+58
2018-01-11[Ada] Minor layout fix in documentation sourcesVasiliy Fofanov2-9/+10
2018-01-11[Ada] Minor reformattingHristian Kirtchev8-25/+25
2018-01-11[Ada] Handling of pragma PredicateEd Schonberg2-0/+14
2018-01-11[Ada] Enable sigtramp for aarch64-vx7Doug Rupp2-2/+6
2018-01-11[Ada] Different runtime behavior of Predicate_FailureHristian Kirtchev3-40/+171
2018-01-11[Ada] Integer overflow in SS_AllocatePatrick Bernardi9-95/+64
2018-01-11[Ada] Illegal protected calls in inherited pre/postconditionsEd Schonberg3-1/+35
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev12-157/+258
2018-01-11[Ada] Finding proper scope when inside entry bodyHristian Kirtchev2-19/+9
2018-01-11[Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zeroPatrick Bernardi5-73/+74
2018-01-11[Ada] Minor reformattingJustin Squirek2-1/+6
2018-01-11[Ada] Missing finalization in case expressionHristian Kirtchev2-1/+8
2018-01-11[Ada] Crash on iterated_component_association in expression functionEd Schonberg4-29/+80
2018-01-11[Ada] Wrong column in sloc of "expect name" error for loop variantJustin Squirek2-1/+6
2018-01-11[Ada] Inconsistent scope chain due to quantified expressionHristian Kirtchev2-0/+7
2018-01-11[Ada] Fix minor comment issuesPiotr Trojanek2-3/+8
2018-01-11einfo.ads, einfo.adb (Activation_Record_Component, [...]): Allow E_Discriminant.Arnaud Charlet3-11/+21
2018-01-10decl.c (gnat_to_gnu_component_type): Apply the check for atomic access once t...Eric Botcazou2-3/+9
2018-01-04Bump copyright yearEric Botcazou2-2/+2
2018-01-04* gnatvsn.ads: Bump copyright year.Eric Botcazou2-2/+6
2018-01-03poly_int: GET_MODE_BITSIZERichard Sandiford2-4/+11
2018-01-03poly_int: GET_MODE_PRECISIONRichard Sandiford2-3/+12
2018-01-03poly_int: TYPE_VECTOR_SUBPARTSRichard Sandiford2-1/+8
2018-01-03poly_int: GET_MODE_NUNITSRichard Sandiford2-2/+10
2018-01-03Update copyright years.Jakub Jelinek1-0/+2
2018-01-03gcc.c (process_command): Update copyright notice dates.Jakub Jelinek4-12769/+12779
2017-12-21Add missing PR numberEric Botcazou1-0/+1
2017-12-21decl.c (gnat_to_gnu_entity): Always take into account the Esize if it is known.Eric Botcazou2-1/+6