aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-03[Ada] Spurious error on dependent expression that is an arrayEd Schonberg1-6/+14
2018-12-03[Ada] Minor reformattingsHristian Kirtchev1-19/+24
2018-12-03[Ada] Missing check on if-expressionEd Schonberg1-5/+6
2018-11-14[Ada] Missing constraint check on if-expression returning a stringEd Schonberg1-19/+32
2018-09-26[Ada] Issue info message on inlined subprograms in GNATprove modeYannick Moy1-1/+7
2018-09-26[Ada] Mimic the C++ ABI when passing class-wide conversion actualsJavier Miranda1-0/+1
2018-09-26[Ada] Fix miscellaneous typosGary Dismukes1-1/+1
2018-08-21[Ada] Minor reformattingsHristian Kirtchev1-5/+12
2018-08-21[Ada] Spurious ambiguity error on call returning an access typeEd Schonberg1-1/+12
2018-08-21[Ada] Compiler abort on call to expr. function for default discriminantEd Schonberg1-1/+12
2018-07-31[Ada] Secondary stack leak with access-to-subprogramHristian Kirtchev1-1/+1
2018-07-31[Ada] Fix a freezing issueJavier Miranda1-3/+14
2018-07-31[Ada] Minor reformattingsHristian Kirtchev1-4/+6
2018-07-31[Ada] Spurious error -- "allocation from empty storage pool"Bob Duff1-2/+7
2018-07-17[Ada] Minor reformattingHristian Kirtchev1-1/+3
2018-07-17[Ada] Crash processing abstract state aspect of a packageJavier Miranda1-2/+39
2018-07-16[Ada] Adjust inlining in GNATprove mode for predicate/invariant/DICYannick Moy1-9/+30
2018-06-11[Ada] Performance degradation with referencesHristian Kirtchev1-4/+9
2018-05-31[Ada] Static predicate check on characters of a string literalEd Schonberg1-2/+6
2018-05-30[Ada] Fix several typosGary Dismukes1-4/+4
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-30[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-1/+1
2018-05-30[Ada] Refine logic to set Needs_Activation_Record on subprogram typesEd Schonberg1-0/+11
2018-05-28[Ada] Spurious constraint error on array of null-excluding componentsJustin Squirek1-6/+35
2018-05-28[Ada] Minor reformattingHristian Kirtchev1-5/+3
2018-05-28[Ada] Further evaluation of type bounds in GNATprove modeYannick Moy1-0/+11
2018-05-25[Ada] Spurious error on fixed-point operation whose operands are expressionsEd Schonberg1-2/+12
2018-05-25[Ada] Membership test of class-wide interfaceJavier Miranda1-1/+0
2018-05-24[Ada] Minor reformattingHristian Kirtchev1-3/+3
2018-05-24[Ada] Ineffective use warning is suppressed when performing verificationJustin Squirek1-1/+7
2018-05-22[Ada] Ada2020: Reduction expressionsEd Schonberg1-7/+0
2018-05-22[Ada] Minor reformattingsHristian Kirtchev1-11/+9
2018-05-21[Ada] Error message on invalid conversion involving limited viewsEd Schonberg1-2/+27
2018-01-11[Ada] Secondary stack leaks during object initializationHristian Kirtchev1-129/+27
2018-01-11[Ada] Secondary stack leak due to controlled componentHristian Kirtchev1-4/+1
2018-01-11[Ada] Minor reformattingHristian Kirtchev1-1/+0
2017-12-15exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne...Pierre-Marie de Rodat1-0/+15
2017-12-15[multiple changes]Pierre-Marie de Rodat1-0/+7
2017-12-15einfo.ads: Comment fix.Pierre-Marie de Rodat1-7/+7
2017-12-05[multiple changes]Pierre-Marie de Rodat1-7/+34
2017-12-05[multiple changes]Pierre-Marie de Rodat1-56/+71
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-3/+7
2017-11-16[multiple changes]Pierre-Marie de Rodat1-27/+11
2017-11-09[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-7/+11
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+2
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-6/+19
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+8
generated by cgit v1.1 at 2024-08-19 12:06:39 +0000