Public Git Hosting - official-gcc.git/search

2023-06-13	Piotr Trojanek	ada: Fix decoration of iterated component association...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Recognize iterated_component_association as repeatedly...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Recognize iterated_component_association as potentially...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Disable inlining in potentially unevaluated contexts	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Implement new aspect Always_Terminates for SPARK	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Skip elaboration checks for abstract subprograms...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove unreferenced routine Is_Inherited_Operation_For_Type	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove wrong comment about expansion of exceptions...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Cleanup finding of locally handled exception handlers	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Cleanup expansion of locally handled exception...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Tune style in detection of writable function actuals	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Simplify appending to a newly created list	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove explicit decoration of wrapper created...	commit \| commitdiff \| tree
2023-05-30	Piotr Trojanek	ada: Only build access-to-subprogram wrappers when...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Fix crash on semi-recursive call in access-to...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Attach pre/post on access-to-subprogram to internal...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Remove extra whitespace from FOR loops	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Cleanup detection of type support subprogram entities	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Accept parameters of enclosing subprograms in...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Allow attributes like First and Last to be read...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Reuse routine for getting from body entity to...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Fix retrieval of spec entity from entry body entity	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Restore parent link for both lists and nodes in...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Tune message for missing 'Result in Contract_Cases	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Simplify removal of formals from the scope	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Tune message for pre/post on access-to-subprogram...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Analyze pre/post on access-to-subprogram without...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove redundant guard against empty lists	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Simplify expansion of set membership	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Cleanup expansion of membership operators into...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove leftover code for counting protected entries	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Fix detection of non-static expressions in records...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Simplify iteration over record component items...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Fix handling of Global contracts inside generic...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Tune detection of expression functions within...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Cleanups in handling of aggregates	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Fix iteration over component items with pragmas	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove redundant guards from handling of record...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Use context variables in expansion of aggregates	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Simplify expansion of positional aggregates	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Refine types for an accessibility-checking routine	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Clean style in expansion of array aggregates	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Expect Exceptional_Cases as a context for attribute Old	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Use procedural variant of Next_Index where possible	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix copying of quantified expressions	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Deconstruct a no longer used parameter of New_Copy_Tree	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Clean up copying of node trees	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Simplify copying of node lists	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Remove unused initial value of a local variable	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Prevent search of calls in preconditions from...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix comments for recently added SPARK aspects	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Add missing supportive code for recently added...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Tune handling of attributes Old in contract Exceptional...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Remove redundant guards from calls to Move_Aspects	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix copy-paste mistake in analysis of Exceptional_Cases	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Tune warning about assignment just before a raise...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Accept aliased parameters in Exceptional_Cases	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Restrict use of formal parameters within exceptional...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Accept and analyze new aspect Exceptional_Cases	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Add tags to warnings controlled by Warn_On_Redundant_Co...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Cleanup inconsistent iteration over exception...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Turn assertions into defensive code in error locations	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Fix endings of pretty-printed numeric literals	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Sync different variants of interrupt handler registration	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Revert to old pretty-printing of internal entities...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Ignore accessibility actuals in expression pretty...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Remove special-case for parentheses in expansion...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Transfer fix for pretty-printed parentheses from...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Fix expression pretty-printer for SPARK counterexamples	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Suppress warning about Subprogram_Variant failing...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Minor fix typo in comment	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Avoid repeated calls when looking for first/last...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix source location for crashes in expanded Loop_Entry...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Further fixes to GNATprove and CodePeer expression...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Cleanup redundant condition in resolution of entity...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Add warning on frontend inlining of Subprogram_Variant	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix spurious warning on Inline_Always and contracts	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Remove unreferenced utility routine Is_Actual_Tagged_Pa...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix traversal for the rightmost node of a pretty...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Restrict expression pretty-printer to subexpressions	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Don't pretty-print DEL within expression images	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Update Controlling_Argument when copying trees	commit \| commitdiff \| tree
2023-05-16	Piotr Trojanek	ada: Apply range checks to preanalyzed aggregate expressions	commit \| commitdiff \| tree
2023-05-16	Piotr Trojanek	ada: Build invariant procedure while freezing in GNATprove...	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Accept aggregates with OTHERS clause in unchecked...	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Reject attribute Initialize on unchecked unions	commit \| commitdiff \| tree
2023-05-15	Piotr Trojanek	ada: Fix link to parent when copying with Copy_Separate_Tree	commit \| commitdiff \| tree
2023-01-05	Piotr Trojanek	ada: Flag renaming-as-spec as a body to inline	commit \| commitdiff \| tree
2023-01-05	Piotr Trojanek	ada: Remove unhelpful special case for renamed bodies...	commit \| commitdiff \| tree
2022-11-22	Piotr Trojanek	ada: Accept aspects Global and Depends on abstract...	commit \| commitdiff \| tree
2022-11-22	Piotr Trojanek	ada: Adjust number of errors when removing warning...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Adjust locations in aspects on generic formal...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Fix style in code for generic formal subprograms...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Expand generic formal subprograms with contracts...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Clean up call to check if aspects are present	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Propagate aspect Ghost when instantiating null...	commit \| commitdiff \| tree
next

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom