summaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
Commit message (Expand)AuthorAgeFilesLines
* [Ada] Minor reformattingHristian Kirtchev2019-07-011-4/+4
* [Ada] Wrong code with -gnatVa on lock-free protected objectsEd Schonberg2019-07-011-0/+13
* [Ada] Bump copyright years to 2019Pierre-Marie de Rodat2019-01-081-1/+1
* [Ada] Volatility, validity checks, and System.Aux_DECHristian Kirtchev2018-12-111-17/+17
* [Ada] Minor reformattingsHristian Kirtchev2018-12-031-1/+0
* [Ada] Enhance constraints propagation to ease the work of optimizersEd Schonberg2018-11-141-1/+12
* [Ada] Minor reformattingHristian Kirtchev2018-11-141-2/+2
* [Ada] Limited function violates No_Exception_PropagationHristian Kirtchev2018-11-141-0/+6
* [Ada] Preserve Do_Range_Check flags in SPARK modeEd Schonberg2018-10-091-3/+2
* [Ada] Missing front-end code for constraint checks on fixed point exprsEd Schonberg2018-09-261-2/+15
* [Ada] ICE on mix of tagged and limited interfacesJavier Miranda2018-09-261-0/+7
* [Ada] Minor reformattingsHristian Kirtchev2018-08-211-3/+3
* [Ada] Enumeration types with non-standard representationJavier Miranda2018-08-211-5/+34
* [Ada] Minor reformattingsHristian Kirtchev2018-07-311-25/+22
* [Ada] Add provision for floating-point in Apply_Division_CheckArnaud Charlet2018-07-171-7/+18
* [Ada] Illegal copy of limited objectEd Schonberg2018-05-311-0/+13
* [Ada] Minor reformattingHristian Kirtchev2018-05-301-0/+1
* [Ada] Ignore out of range values for System.Priority in CodePeer modeArnaud Charlet2018-05-301-1/+10
* [Ada] Fix various defects found by static analysisArnaud Charlet2018-05-231-0/+6
* [Ada] Fix inconstent subprogram body headersPiotr Trojanek2018-05-211-3/+3
* [Ada] Bump copyright notices to 2018Arnaud Charlet2018-01-111-1/+1
* exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi...Pierre-Marie de Rodat2017-12-151-1/+1
* [multiple changes]Pierre-Marie de Rodat2017-12-051-2/+10
* [multiple changes]Pierre-Marie de Rodat2017-11-161-8/+17
* [multiple changes]Pierre-Marie de Rodat2017-11-091-8/+8
* [multiple changes]Pierre-Marie de Rodat2017-10-141-0/+4
* [multiple changes]Pierre-Marie de Rodat2017-10-091-4/+10
* [multiple changes]Arnaud Charlet2017-09-081-0/+7
* [multiple changes]Arnaud Charlet2017-09-081-1/+7
* [multiple changes]Arnaud Charlet2017-09-061-0/+14
* [multiple changes]Arnaud Charlet2017-09-061-26/+4
* gimple.c (gimple_assign_set_rhs_with_ops): Do not ask gsi_replace to update E...Eric Botcazou2017-07-251-0/+7
* Minor reformatting.Arnaud Charlet2017-05-021-26/+24
* [multiple changes]Arnaud Charlet2017-05-021-15/+31
* [multiple changes]Arnaud Charlet2017-05-021-1/+6
* [multiple changes]Arnaud Charlet2017-05-021-3/+5
* [multiple changes]Arnaud Charlet2017-05-021-6/+25
* [multiple changes]Arnaud Charlet2017-04-281-2/+8
* [multiple changes]Arnaud Charlet2017-04-271-1/+5
* [multiple changes]Arnaud Charlet2017-04-271-0/+198
* [multiple changes]Arnaud Charlet2017-04-271-2/+4
* [multiple changes]Arnaud Charlet2017-04-271-11/+0
* [multiple changes]Arnaud Charlet2017-04-271-0/+11
* [multiple changes]Arnaud Charlet2017-04-251-11/+0
* [multiple changes]Arnaud Charlet2017-04-251-20/+36
* checks.adb (Insert_Valid_Check): Code cleanup.Hristian Kirtchev2017-04-251-17/+18
* [multiple changes]Arnaud Charlet2017-04-251-14/+18
* [multiple changes]Arnaud Charlet2017-04-251-4/+8
* checks.adb (Apply_Scalar_Range_Check): Analyze precisely conversions from flo...Yannick Moy2017-04-251-9/+72
* checks.adb (Determine_Range_R): Special case type conversions from integer to...Yannick Moy2017-04-251-4/+26