aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.adb
AgeCommit message (Expand)AuthorFilesLines
23 hoursada: Update Assertion_Policy handling in GNATProve modeViljar Indus1-30/+9
23 hoursada: Check Compile_Time_Errors removed in Ghost codeViljar Indus1-0/+8
23 hoursada: Refactor Validate_Compile_Time_Warning_Or_ErrorViljar Indus1-90/+102
23 hoursada: Keep Ghost_Mode related variables in a recordViljar Indus1-30/+23
2025-06-30ada: Fix bogus error for pragma No_Component_Reordering on record typeEric Botcazou1-8/+9
2025-06-10ada: Fix the detection of configuration pragmasViljar Indus1-1/+17
2025-06-09ada: Reject component-related aspects on formal non-array typesPiotr Trojanek1-7/+4
2025-06-09ada: Fix glitch in handling of Atomic_Components on generic formal typePiotr Trojanek1-1/+3
2025-06-06ada: Simplify tests for positive rational numbersPiotr Trojanek1-1/+1
2025-06-06ada: Check references to subprogram outputs with Program_Exit expressionPiotr Trojanek1-0/+51
2025-06-06ada: Add case for Program_Exit in Exit_CasesClaire Dross1-2/+5
2025-06-06ada: Support aspect Program_Exit with no expressionPiotr Trojanek1-39/+44
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek1-8/+227
2025-06-06ada: Remove Size_Check_Code field from entitiesEric Botcazou1-3/+0
2025-06-05ada: Remove ghost code and SPARK annotations from runtime unitsArnaud Charlet1-10/+3
2025-06-05ada: Add error message for a declared-too-late abstract state constituentSteve Baird1-23/+56
2025-06-05ada: Implement use implies with experimental extensionsquirek1-28/+3
2025-06-05ada: Cleanup preanalysis of static expressions (part 6)Javier Miranda1-25/+35
2025-01-13ada: Remove redundant parentheses inside unary operatorsPiotr Trojanek1-1/+1
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Avoid conversion from String to Name_Id at runtimePiotr Trojanek1-1/+1
2025-01-07ada: Reject references to attribute Result in Exceptional_CasesPiotr Trojanek1-1/+6
2025-01-07ada: Move checks for consequences of Exceptional_Cases to GNATPiotr Trojanek1-0/+68
2025-01-07ada: Fix comments about Subprogram_Variant and Exceptional_CasesPiotr Trojanek1-3/+2
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross1-0/+467
2025-01-06ada: Fix crash on Depends contract with homonym functionsPiotr Trojanek1-5/+1
2025-01-03ada: Reuse and simplify counting the length of various listsPiotr Trojanek1-12/+1
2025-01-03ada: Reuse existing utility routine to detect attribute Loop_EntryPiotr Trojanek1-3/+1
2025-01-03ada: Simplify traversal procedures into traversal functionsPiotr Trojanek1-6/+2
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda1-2/+2
2024-12-13ada: Fix code indentationPiotr Trojanek1-8/+8
2024-12-12ada: Accept static strings with External_InitializationRonan Desplanques1-36/+14
2024-11-26ada: Minor adjustments to error message for RM B.1(24)Eric Botcazou1-9/+12
2024-11-18ada: Atomic_Synchronization is not a user-visible checkBob Duff1-13/+6
2024-11-12ada: Fix assertion failure on illegal use of aspect Type_InvariantEric Botcazou1-4/+12
2024-11-12ada: Accept SPARK.Big_Integers.Big_Integer where Big_Integer is acceptedPiotr Trojanek1-0/+5
2024-11-04ada: Split Library_Unit using multiple wrappersBob Duff1-16/+15
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird1-1/+73
2024-11-04ada: Fix error message for pragma First_Controlling_ParameterRaphaël AMIARD1-1/+1
2024-10-25ada: Disable self-referential with_clausesBob Duff1-3/+3
2024-10-25ada: Pragma Pre_Class and Post_Class have no effect at runtimeJavier Miranda1-4/+42
2024-10-25ada: Pragmas Pre_Class/Post_Class rejected for abstract subprogramsJavier Miranda1-9/+9
2024-10-08ada: Add mechanism to test internal error machineryRonan Desplanques1-0/+22
2024-10-08ada: sem_prag.adb: fix indentationGhjuvan Lacambre1-2/+2
2024-10-08ada: sem_prag.adb: ignore compile_time_{warning,error} in CodePeer modeGhjuvan Lacambre1-0/+5
2024-09-10ada: First controlling parameter: report error without Extensions allowedJavier Miranda1-10/+43
2024-08-29ada: Use the same warning character in continuation messagesViljar Indus1-1/+1
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek1-10/+10
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+86
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+76
generated by cgit v1.1 at 2025-08-05 12:26:00 +0000