aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
2019-12-18[Ada] Fix three-letter typos like "sss" in comments and docsPiotr Trojanek1-1/+1
2019-12-16[Ada] Minor comment fixBob Duff1-1/+1
2019-12-16[Ada] Fully propagate representation aspects through renamingEric Botcazou1-10/+14
2019-12-16[Ada] Small consistency fix for Volatile_Full_Access objectsEric Botcazou1-1/+1
2019-12-16[Ada] Implement RM C.6(19) clause entirely in the front-endEric Botcazou1-4/+0
2019-12-16[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128Eric Botcazou1-0/+4
2019-12-13[Ada] Clear confusion about subcomponents of atomic objectEric Botcazou1-1/+1
2019-12-13[Ada] Prevent inlining inside condition of while loop in GNATproveYannick Moy1-0/+3
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-8/+22
2019-10-12re PR ada/91995 (gnat miscompilation and bootstrap failure on m68k-linux)Eric Botcazou1-20/+1
2019-10-10[Ada] Various minor typo fixesGary Dismukes1-1/+1
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek1-0/+4
2019-09-18[Ada] Implement AI12-0086's rules for discriminants in aggregatesSteve Baird1-0/+36
2019-09-17[Ada] A new utility routine for detecting attribute 'OldPiotr Trojanek1-0/+3
2019-08-20[Ada] Pragma Warning_As_Error works for style warningsBob Duff1-0/+6
2019-08-19[Ada] Improve warnings about "too few elements" and "too many elements"Gary Dismukes1-5/+9
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-1/+6
2019-08-12[Ada] Adapt new extended traversal of AST to have optional partYannick Moy1-0/+3
2019-08-12[Ada] Extended traversal subprograms for GNATproveYannick Moy1-0/+17
2019-07-11[Ada] Missing finalization of private protected typeHristian Kirtchev1-0/+4
2019-07-10[Ada] Entity names are not uniqueSimon Buist1-0/+4
2019-07-05[Ada] Wrong accessibility level under -gnat12Javier Miranda1-5/+5
2019-07-05[Ada] Fix inlining in GNATprove inside quantified expressionsYannick Moy1-0/+3
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev1-0/+8
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Stubs that complete generic subprogram do have a "prior declaration"Piotr Trojanek1-2/+2
2018-11-14[Ada] Crash on ignored Ghost assignmentHristian Kirtchev1-0/+4
2018-11-14[Ada] Fix parentheses in comments and "library-level" punctuationPiotr Trojanek1-1/+1
2018-08-21[Ada] Spurious "Duplicated symbol" error with discriminated tasksEd Schonberg1-1/+1
2018-07-17[Ada] Fix RM rule referencesPiotr Trojanek1-1/+1
2018-07-17[Ada] Spurious error on unused Part_Of constituentHristian Kirtchev1-11/+12
2018-07-17[Ada] Crash on case expression in build-in-place functionHristian Kirtchev1-5/+10
2018-07-16[Ada] Sem_Utils: make Has_Prefix publicJavier Miranda1-0/+3
2018-06-11[Ada] Performance degradation with referencesHristian Kirtchev1-0/+7
2018-05-31[Ada] Fix compiler crash for tagged private typesJavier Miranda1-0/+4
2018-05-30[Ada] Spurious error on legal synchronized constituentHristian Kirtchev1-4/+8
2018-05-29[Ada] Wrong equality on untagged private typeJavier Miranda1-0/+6
2018-05-25[Ada] Minor comment fixBob Duff1-1/+1
2018-05-24[Ada] Quadratic compile time with tagged typesJustin Squirek1-3/+3
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-0/+4
2018-05-22[Ada] In-place initialization for Initialize_ScalarsHristian Kirtchev1-0/+35
2018-05-22[Ada] Allow attribute 'Valid_Scalars on private typesHristian Kirtchev1-5/+9
2018-05-22[Ada] No error on misplaced pragma Pure_FunctionJustin Squirek1-0/+6
2018-05-21[Ada] Spurious error on early call region of tagged typeHristian Kirtchev1-0/+12
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-0/+5
2018-01-11[Ada] Prohibit concurrent types in Ghost regionsHristian Kirtchev1-5/+33
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-15gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...Pierre-Marie de Rodat1-6/+8
2017-12-15[multiple changes]Pierre-Marie de Rodat1-0/+3
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-7/+0
generated by cgit v1.1 at 2025-03-04 06:12:56 +0000