Public Git Hosting - official-gcc.git/search

2018-08-21	pmderodat	[Ada] Document entries of the target parametrization...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Set scope of elaboration flag for 'Access	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Sprint: add guard on printing aspects	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Crash compiling SPARK ghost functions with callgraph...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Unnesting: do not set size of access subprograms	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Unnesting: do not emit warnings for access to...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Improper copying of limited arrays with default...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Fix spurious error on unchecked conversion on...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Fix internal error on extension of record with...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Spurious "Duplicated symbol" error with discriminated...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Define versions of dimension system for Float...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] General purpose doubly linked list for compiler...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Fix scope computation for entry bodies and accept...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Crash on entry in generic with dynamic elaboration...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Set_Targ: add a CodePeer annotation	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Compiler abort on call to expr. function for...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Dynamically resizable, load factor-based hash...	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Enumeration types with non-standard representation	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Handle pragmas that come from aspects for GNATprove	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Add sa_messages.ad[sb] for SPARK 2014	commit \| commitdiff \| tree
2018-08-21	pmderodat	[Ada] Bump copyright notices to 2018	commit \| commitdiff \| tree
2018-08-03	pmderodat	[Ada] Partially revert "Makefile patches from initial...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Various code clean-ups from CodePeer messages	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Fix potential Constraint_Error if Library_Version...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Sem_Elab: remove duplicate condition	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Unnesting: improve support for entries in protected...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Refine generation of range checks to happen in...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Secondary stack leak with access-to-subprogram	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Unnesting: find local subps in nested stmt sequences	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Spurious error on default parameter in protected...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] GNATmake fails to detect missing body	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Fix alignment of mutex_t and cond_t type on 32...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Wrong value after assignment of overlain record...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Spurious error on the placement of aspect Global	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Compiler failure on an extended_return_statement...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Spurious warning on iteration over range of 64...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Print the Is_Activation_Record flag	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Replace low-level calls to Ekind with high-level...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Deconstruct 'F' as a prefix for an ALI data	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Fix a freezing issue	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Fix resolution of class-wide operations that...	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Minor reformattings	commit \| commitdiff \| tree
2018-07-31	pmderodat	[Ada] Spurious error -- "allocation from empty storage...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Spurious error on prefixed call in an instantiation	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Preserve original CE reason in more cases	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Add provision for floating-point in Apply_Division_Check	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix expansion of aggregates components rewritten...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Reuse Is_Rewrite_Substitution in Relocate_Node	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix RM rule references	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix incompatibility Default_Scalar_Storage_Order...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Use standard version of s-memory.adb for mingw32	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Faulty ignored Ghost code removal	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Configuration state not observed for instance...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] ICE on renaming of result of binary operation	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Type mismatch warning for imported C++ class	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Remove extra parentheses in Expand_Inlined_Call	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Minor fix for imported C++ constructors	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Assertion_Policy for class-wide precondition	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Missing check on illegal equality operation in...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Unnesting: don't use Get_Actual_Subtype for record...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Crash processing abstract state aspect of a package	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Consistent spelling of "i.e." in docs and comments	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Argument_String_To_List creates empty items from...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Spurious error on Part_Of indicator	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Avoid confusing warning on exception propagation...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] GNAT.Sockets: reorganize and make public components...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Secondary stack leak in statements block located...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix Enclosing_Subprogram for protected entries...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Add elaboration-related switches to GNAT UGN	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] New ignored Ghost code removal mechanism	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Secondary stack leak in loop iterator	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix Next_Actual when used on calls "inlined for...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Einfo: update documentation for Scalar_Range	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Attach the special GNATprove HEAP entity to the...	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Minor refactoring: remove extra parentheses	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix unnesting issues involving tasks	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Spurious error on unused Part_Of constituent	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Fix handling of inherited discriminant constraints	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Crash on case expression in build-in-place function	commit \| commitdiff \| tree
2018-07-17	pmderodat	[Ada] Remove references to gcov from the User Manual	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Missing error on hidden state in instantiation	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Only unnest subprograms if no previous errors...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Fix expansion of blocks in loops inside elaboration...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Deep copy operands of membership operations for...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Unnesting: handle 'Address references that are...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Unnesting: handle the semantic of Storage_Pool...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Fix Default_Storage_Pool aspect handling in generic...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Major code cleanup	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Spurious error with null Abstract_State	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Deconstruct unused Withed_Body filed of N_With_Clause...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Avoid crash when traversing units with -gnatd...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Trivial simplifications in in Walk_Library_Items	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Deconstruct always-false calls to Withed_Body...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Use common routine Expand_Nonbinary_Modular_Op...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Add a missing check for trivial predicates on...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Crash on Indefinite_Hashed_Maps with -gnata ...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Spurious possible contraint error warning with...	commit \| commitdiff \| tree
2018-07-16	pmderodat	[Ada] Segmentation_Fault with Integer'Wide_Wide_Value	commit \| commitdiff \| tree
next

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

RSS Atom