]> gcc.gnu.org Git - gcc.git/history - gcc/ada/sem_util.adb
git://gcc.gnu.org / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
nvptx: Correct pattern for popcountdi2 insn in nvptx.md.
[gcc.git] / gcc / ada / sem_util.adb
2 days ago Piotr Trojanekada: Fix for validity checking and conditional evaluati... commit | commitdiff
2 days ago Piotr Trojanekada: Expose utility routine for processing of Depends... commit | commitdiff
2 days ago Steve Bairdada: Fix containers' Reference_Preserving_Key functions... commit | commitdiff
3 days ago Justin Squirekada: Implement new experimental attribute 'Super commit | commitdiff
3 days ago Piotr Trojanekada: No need to follow New_Occurrence_Of with Set_Etype commit | commitdiff
3 days ago Piotr Trojanekada: Fix detection of if_expressions that are known... commit | commitdiff
3 days ago Steve Bairdada: Fix bug in maintaining dimension info commit | commitdiff
5 days ago Marc Poulhièsada: Minor typo fix in comment commit | commitdiff
5 days ago Justin Squirekada: Spurious unreferenced warning on selected component commit | commitdiff
6 days ago Piotr Trojanekada: Remove code that expected pre/post being split... commit | commitdiff
6 days ago Piotr Trojanekada: Deconstruct flag Split_PPC since splitting now... commit | commitdiff
6 days ago Piotr Trojanekada: Refine type of a local variable commit | commitdiff
6 days ago Piotr Trojanekada: Refactor repeated code for querying Boolean-valued... commit | commitdiff
6 days ago Bob Duffada: Rewrite Append_Entity_Name; skip irrelevant names commit | commitdiff
6 days ago Eric Botcazouada: Replace finalization masters with finalization... commit | commitdiff
6 days ago Piotr Trojanekada: Avoid crash on illegal constrained type declarations commit | commitdiff
12 days ago Piotr Trojanekada: Fix calculation of tasks in null arrays commit | commitdiff
12 days ago Piotr Trojanekada: Prevent calculation of negative stack counts commit | commitdiff
12 days ago Bob Duffada: Fix crash on body postcondition commit | commitdiff
12 days ago Yannick Moyada: Fix spurious error on generic state in SPARK commit | commitdiff
12 days ago Yannick Moyada: SPARK rule changed on functions with side effects commit | commitdiff
12 days ago Ronan Desplanquesada: Tweak discriminant source locations commit | commitdiff
12 days ago Piotr Trojanekada: Deconstruct support for abstract states with Relax... commit | commitdiff
2024-01-22 Marc PoulhièsUpdate copyright years. commit | commitdiff
2024-01-09 Steve Bairdada: Fix bug in Sem_Util.Enclosing_Declaration commit | commitdiff
2023-12-19 Eric Botcazouada: Fix internal error on call with parameter of predi... commit | commitdiff
2023-12-19 Piotr Trojanekada: Fix style and typos in comments commit | commitdiff
2023-12-19 Yannick Moyada: Fix SPARK expansion of container aggregates commit | commitdiff
2023-12-19 Ronan Desplanquesada: Restore object constraint optimization commit | commitdiff
2023-11-30 Yannick Moyada: Remove SPARK legality checks commit | commitdiff
2023-11-28 Bob Duffada: False alarms from -gnatw.t with generic functions commit | commitdiff
2023-11-21 Gary Dismukesada: Compiler error reporting illegal prefix on legal... commit | commitdiff
2023-11-21 Eric Botcazouada: Small improvement to Null_Status function commit | commitdiff
2023-11-07 Yannick Moyada: Rename Is_Limited_View to reflect actual query commit | commitdiff
2023-11-07 Viljar Indusada: Implement Aspects as fields under nodes commit | commitdiff
2023-11-07 Piotr Trojanekada: Fix extra whitespace after END keywords commit | commitdiff
2023-11-07 Piotr Trojanekada: Cleanup getting of actual subtypes commit | commitdiff
2023-11-07 Piotr Trojanekada: Fix handling of actual subtypes for expanded names commit | commitdiff
2023-10-19 Yannick Moyada: Support new SPARK aspect Side_Effects commit | commitdiff
2023-10-10 Eric Botcazouada: Remove superfluous setter procedure commit | commitdiff
2023-09-15 Bob Duffada: Clean up scope depth and related code (tech debt) commit | commitdiff
2023-09-14 Javier Mirandaada: Assertion failure on calculation of Large_Max_Size... commit | commitdiff
2023-09-14 Javier Mirandaada: Assertion failure on for-of loop iterating on... commit | commitdiff
2023-07-18 Eric Botcazouada: Improve error message for ambiguous subprogram... commit | commitdiff
2023-07-18 Eric Botcazouada: Fix Valid_Scalars attribute applied to types from... commit | commitdiff
2023-07-06 Viljar Indusada: Reuse code in Is_Fully_Initialized_Type commit | commitdiff
2023-07-03 Eric Botcazouada: Fix small inaccuracy in implementation of B.3... commit | commitdiff
2023-06-20 Eric Botcazouada: Further fixes to handling of private views in... commit | commitdiff
2023-06-20 Yannick Moyada: Do not issue warning on postcondition in some... commit | commitdiff
2023-06-15 Javier Mirandaada: Crash on C++ constructor of private type commit | commitdiff
2023-06-13 Piotr Trojanekada: Recognize iterated_component_association as repeat... commit | commitdiff
2023-06-13 Piotr Trojanekada: Recognize iterated_component_association as potent... commit | commitdiff
2023-06-13 Piotr Trojanekada: Implement new aspect Always_Terminates for SPARK commit | commitdiff
2023-06-13 Piotr Trojanekada: Remove unreferenced routine Is_Inherited_Operation... commit | commitdiff
2023-06-13 Piotr Trojanekada: Tune style in detection of writable function actuals commit | commitdiff
2023-06-13 Yannick Moyada: Support new GNAT-specific aspect Ghost_Predicate commit | commitdiff
2023-05-29 Piotr Trojanekada: Remove redundant protection against empty lists commit | commitdiff
2023-05-29 Marc Poulhièsada: Fix crash on vector initialization commit | commitdiff
2023-05-29 Piotr Trojanekada: Reuse routine for getting from body entity to... commit | commitdiff
2023-05-29 Piotr Trojanekada: Fix retrieval of spec entity from entry body entity commit | commitdiff
2023-05-29 Piotr Trojanekada: Tune message for missing 'Result in Contract_Cases commit | commitdiff
2023-05-26 Piotr Trojanekada: Remove redundant guard against empty lists commit | commitdiff
2023-05-26 Piotr Trojanekada: Simplify iteration over record component items... commit | commitdiff
2023-05-26 Javier Mirandaada: Crash on loop in dispatching conditional entry... commit | commitdiff
2023-05-26 Piotr Trojanekada: Cleanups in handling of aggregates commit | commitdiff
2023-05-26 Javier Mirandaada: Duplicate declaration of _master entity commit | commitdiff
2023-05-26 Piotr Trojanekada: Remove redundant guards from handling of record... commit | commitdiff
2023-05-26 Eric Botcazouada: Minor tweak in condition commit | commitdiff
2023-05-25 Piotr Trojanekada: Expect Exceptional_Cases as a context for attribut... commit | commitdiff
2023-05-25 Bob Duffada: Switch from E_Void to Is_Not_Self_Hidden commit | commitdiff
2023-05-25 Piotr Trojanekada: Fix copying of quantified expressions commit | commitdiff
2023-05-25 Piotr Trojanekada: Deconstruct a no longer used parameter of New_Copy... commit | commitdiff
2023-05-25 Piotr Trojanekada: Clean up copying of node trees commit | commitdiff
2023-05-25 Piotr Trojanekada: Prevent search of calls in preconditions from... commit | commitdiff
2023-05-25 Ronan Desplanquesada: Handle controlling access parameters in DTWs commit | commitdiff
2023-05-23 Piotr Trojanekada: Accept and analyze new aspect Exceptional_Cases commit | commitdiff
2023-05-23 Eric Botcazouada: Rework fix for internal error on quantified expres... commit | commitdiff
2023-05-23 Eric Botcazouada: Fix latent issue in support for protected entries commit | commitdiff
2023-05-23 Steve Bairdada: A discriminant of a variable is not a variable commit | commitdiff
2023-05-23 Yannick Moyada: Add default value at initialization for CodePeer commit | commitdiff
2023-05-23 Eric Botcazouada: Fix internal error on quantified expression with... commit | commitdiff
2023-05-22 Arnaud Charletada: Remove extra parentheses commit | commitdiff
2023-05-22 Claire Drossada: Support calls through dereferences in Find_Actual commit | commitdiff
2023-05-22 Piotr Trojanekada: Remove unreferenced utility routine Is_Actual_Tagg... commit | commitdiff
2023-05-22 Piotr Trojanekada: Update Controlling_Argument when copying trees commit | commitdiff
2023-05-22 Bob Duffada: prevent infinite recursion in Collect_Types_In_Hie... commit | commitdiff
2023-05-16 Eric Botcazouada: Implement inheritance of user-defined literal... commit | commitdiff
2023-05-16 Piotr Trojanekada: Apply range checks to preanalyzed aggregate expres... commit | commitdiff
2023-05-16 Eric Botcazouada: Follow-up improvement to implementation of storage... commit | commitdiff
2023-05-16 Richard Kennerada: Get name from entity if that's what's passed to... commit | commitdiff
2023-05-15 Piotr Trojanekada: Remove redundant protection against empty lists commit | commitdiff
2023-05-15 Piotr Trojanekada: Fix link to parent when copying with Copy_Separate... commit | commitdiff
2023-01-09 Arnaud Charletada: Update copyright notice commit | commitdiff
2023-01-05 Javier Mirandaada: INOX: prototype RFC on String Interpolation commit | commitdiff
2023-01-03 Eric Botcazouada: Fix calling convention of foreign functions return... commit | commitdiff
2023-01-03 Eric Botcazouada: Make Sem_Util.Is_Aliased_View predicate more robust commit | commitdiff
2022-12-06 Yannick Moyada: Allow No_Caching on volatile types commit | commitdiff
2022-12-06 Justin Squirekada: Accessibility code reorganization and bug fixes commit | commitdiff
2022-11-28 Yannick Moyada: Implement change to SPARK RM rule on state refinement commit | commitdiff
2022-11-21 Eric Botcazouada: Minor tweak in assertion commit | commitdiff
next
GNU Compiler Collection
This page took 0.622163 seconds and 7 git commands to generate.