2018-09-17 | uros | * config/i386/i386.md (truncxf<mode>2_i387_noop_unspec... (frndintxf2_<rounding>): Rename from frndint<mode... Do not use X87MODEF mode macro. (frndintxf2_<rounding>_i387): Rename from frndint<mode>2_<rounding>_i387. Do not use X87MODEF... (<rounding_insn><mode>2): For non-SSE... |
commitcommitdifftree |
2018-09-14 | uros | * reg-stack.c: Include regs.h. (*swapxf): Rename from swapxf. |
commitcommitdifftree |
2018-09-12 | uros | * config/i386/i386.md (sqrt_extend<mode>xf3_i387)... |
commitcommitdifftree |
2018-09-11 | uros | * reg-stack.c (subst_asm_stack_regs): Call replace_reg... |
commitcommitdifftree |
2018-09-11 | uros | * config/i386/i386.md (define_attr "type"): Remove... ...length_immediate): Remove all processing of mpx types. |
commitcommitdifftree |
2018-09-11 | uros | * config/i386/i386.md (fyl2x_extend<mode>xf3_i387... |
commitcommitdifftree |
2018-09-10 | uros | * config/i386/i386.md (<sincos>xf2): Rename from ... ...i386.md (<sincos>xf2): Rename from *<sincos>xf2_i387. (atan2xf3): Rename from *fpatanxf3_i387. |
commitcommitdifftree |
2018-09-10 | uros | * config/i386/i386.md (x87/SSE constant load splitter... |
commitcommitdifftree |
2018-09-09 | uros | * config/i386/i386.md (float partial SSE register... |
commitcommitdifftree |
2018-09-07 | uros | * config/i386/i386.md (float<SWI48x:mode><MODEF:mode... ...SWI48:mode><MODEF:mode>2): Rename from (*floatdi<MODEF:mode>2_i387): Rename from |
commitcommitdifftree |
2018-09-06 | uros | * reg-stack.c (get_true_reg) <case FLOAT_TRUNCATE... |
commitcommitdifftree |
2018-09-06 | uros | * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1... (*fist<mode>2_<rounding>_1): Always expand with... (fistdi2_<rounding>): Change operand 0 predicate to (fistdi2_<rounding>_with_temp): Remove insn... (fist<mode>2_<rounding>): Change operand 0 predicate to (fist<mode>2_<rounding>_with_temp): Remove insn... |
commitcommitdifftree |
2018-09-05 | uros | * config/i386/i386.md (truncdfsf2): Remove expander. |
commitcommitdifftree |
2018-09-04 | ro | Don't xfail gcc.target/i386/addr-sel-1.c (PR target... |
commitcommitdifftree |
2018-08-31 | ro | Fix PR testsuite/86519 reference. |
commitcommitdifftree |
2018-08-24 | uros | * emit-rtl.c (init_emit_once): Do not emit MODE_POINTER_BOU... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Minor reformattings |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Add a new gnat tool vxlink ...helper tool used as a wrapper around g++/gcc to build produces a C file that lists those... intermediate object to produce a valid DKM. 2018-08-21 Jerome Lambourg <lambourg@adacore... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Crash on expression function and tagged types ...tagged types that have not been frozen before the * sem_ch6.adb (Analyze_Subprogram_Body_Helper, Mask_Type): ...same scope that have not been frozen yet. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Spurious crash on expression function as completion... completion of a subprogram with preconditions. The problem... ...the precondition that are not frozen when the subprogram body constructed for the expression... ...precondition. These types must be frozen before the proper scope. This is analogous to... ...adb (Freeze_Expr_Types): Moved from contain unfrozen types that must be frozen in... * contracts.adb (Analyze_Entry_Or_Subprogram_Contract): If the code within the subprogram body. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Retention of with clauses for ignored Ghost units produce the same library edges regardless... ...allow the unnesting mechanism to properly |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Crash processing SPARK annotate aspect [Ada] Crash processing SPARK annotate aspect subprogram with an annotate contract. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Spurious error on overriding protected function... [Ada] Spurious error on overriding protected function... The conformance between an overriding protected operation with progenitors and the overridden interface... ...restrictive and leads to spurious errors when the return * sem_ch6.adb (Check_Synchronized_Overriding): The conformance between an overriding protected operation and the overridden abstract progenitor operation requires subtype... ...restrictive and leads to spurious errors when the return * gnat.dg/prot6.adb, gnat.dg/prot6.ads: New... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Properly set scope of artificial entities in... [Ada] Properly set scope of artificial entities... properly the scope of all entities... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Fix scope computation for loop statements |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Einfo: remove obsolete code |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Update for Ownership rules for access types according... ...memory management is still a prototype at an experimental 2018-08-21 Maroua Maalej <maalej@adacore.com> ...initialization, assign the appropriate state. (Check_Node): Main traversal procedure to check safe pointer usage. (Check_Package_Body): Check subprogram's body. ... Check statements other than procedure call. (Perm_Error, Perm_Error_Subprogram_End):... ...on the given name is different from the (Process_Path): Given an operation... Perm_Error if there is any mismatch. ...given name at the end of the subprogram. These procedures may change depending on... (Set_Perm_Extensions, Set_Perm_Prefixes_Borrow, |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Spurious ambiguity error on call returning an... [Ada] Spurious ambiguity error on call returning an access type |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Document entries of the target parametrization... ...gnat_ugn/building_executable_programs_with_gnat.rst: |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Set scope of elaboration flag for 'Access |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Sprint: add guard on printing aspects |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Crash compiling SPARK ghost functions with callgraph... subprograms whose contracts invoke ghost... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Unnesting: do not set size of access subprograms ...do not set size of access subprograms ...Do not set size of access subprogram if unnesting. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Unnesting: do not emit warnings for access to... ...emit warnings for access to subprograms ...Remove warnings for access to subprograms when |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Improper copying of limited arrays with default... [Ada] Improper copying of limited arrays with... This patch fixes an improper expansion of aggregates for... Apart from a violation of the semantics... procedure NoCopy is -- is properly initialized. improper copying of an array of tasks... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Fix spurious error on unchecked conversion on... [Ada] Fix spurious error on unchecked conversion on VFA... unchecked conversion around the actual for an In parameter |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Fix internal error on extension of record with... [Ada] Fix internal error on extension of record with representa... ...then flagged as an internal error. ...retrieve the position and size from |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Spurious "Duplicated symbol" error with discriminated... ...Spurious "Duplicated symbol" error with discriminated tasks This patch fixes a spurious error in a program that contains a synchronized type (For unnesting). |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Define versions of dimension system for Float... Long_Float as basis. These new files provide units that define the ...and Mks_IO are also defined appropriately, * doc/gnat_ugn/gnat_and_program_execution.rst: Update |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] General purpose doubly linked list for compiler... by the compiler and the tools around it. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Fix scope computation for entry bodies and accept... procedures generated for entry bodies... Use the entity of the procedure declaration, not its body, as |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Crash on entry in generic with dynamic elaboration... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Set_Targ: add a CodePeer annotation |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Compiler abort on call to expr. function for... ...function, that function has to be frozen at the point of a call to the initialization procedure for an object of the record... ...call does not appear to come from source. expression function that is called to provide a default value |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Dynamically resizable, load factor-based hash... This patch introduces a dynamically resizable,... |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Enumeration types with non-standard representation The compiler may report errors on enumeration types with non... different from its 'Pos value) processing attribute... It may also generate wrong code for the evaluation of ... Constraint_Error at runtime. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Handle pragmas that come from aspects for GNATprove [Ada] Handle pragmas that come from aspects for GNATprove In GNATprove we appear to abuse a routine... ...solution to avoid crashes in GNATprove; it doesn't affect the frontend or other backends, because... by GNATprove (it is located in the frontend... provided. 2018-08-21 Piotr Trojanek <trojanek@adacore.com> (Enclosing_Subprogram_Or_Library_Package): Now roughtly... for pragmas that come from aspect specifications. |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Add sa_messages.ad[sb] for SPARK 2014 ...possible to build SPARK 2014 from 2018-08-21 Pierre-Marie de Rodat <derodat@adacore.com> |
commitcommitdifftree |
2018-08-21 | pmderodat | [Ada] Bump copyright notices to 2018 2018-08-21 Pierre-Marie de Rodat <derodat@adacore.com> libgnarl/s-taprop__hpux-dce.adb, |
commitcommitdifftree |
2018-08-19 | uros | PR target/86994 |
commitcommitdifftree |
2018-08-16 | uros | PR testsuite/86745 |
commitcommitdifftree |
2018-08-15 | uros | * config/i386/i386.opt (mmitigate-rop): Mark as deprecated. * config/i386/i386.opt (mmitigate-rop): Mark as deprecated. * doc/invoke.texi (mmitigate-rop): Remove. (ix86_rop_should_change_byte_p, reg_encoded_number) (ix86_get_modrm_for_rop, set_rop_modrm_reg_bits, ix86_mitigate... ... Remove call to ix86_mitigate_rop. * gcc.target/i386/rop1.c: Remove. ...dg-options): Remove -mmitigate-rop. |
commitcommitdifftree |
2018-08-15 | uros | * ChangeLog: Fix whitespace. |
commitcommitdifftree |
2018-08-15 | uros | * config/i386/i386.c (expand_vec_perm_movs): Enable... |
commitcommitdifftree |
2018-08-14 | ro | Include <sys/random.h> for getentropy on Solaris Include <sys/random.h> for getentropy on Solaris |
commitcommitdifftree |
2018-08-07 | ro | Fix gcc.dg/vect/no-section-anchors-vect-69.c on SPARC... Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> |
commitcommitdifftree |
2018-08-06 | uros | * g++.dg/torture/pr86763.C (dg-additional-options... |
commitcommitdifftree |
2018-08-04 | uros | PR testsuite/86153 |
commitcommitdifftree |
2018-08-03 | uros | * ChangeLog: Move entry ... |
commitcommitdifftree |
2018-08-03 | pmderodat | [Ada] Partially revert "Makefile patches from initial... ...Partially revert "Makefile patches from initial RISC-V cross/native build." ...partially reverts r262482, at it broke canadian builds. 2018-08-03 Pierre-Marie de Rodat <derodat@adacore.com> |
commitcommitdifftree |
2018-08-01 | uros | * gcc.dg/plugin/poly-int-07_plugin.c (dg-options)... |
commitcommitdifftree |
2018-08-01 | uros | * gcc.dg/tree-ssa/pr84512.c: Xfail on alpha*-*-*. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Various code clean-ups from CodePeer messages [Ada] Various code clean-ups from CodePeer messages |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Fix potential Constraint_Error if Library_Version... [Ada] Fix potential Constraint_Error if Library_Version is too long ...adb: Fix potential Constraint_Error if |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Sem_Elab: remove duplicate condition |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Unnesting: improve support for entries in protected... [Ada] Unnesting: improve support for entries in protected... ...Subp_Index): In the case of a protected protected_subprogram_body into which... |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Refine generation of range checks to happen in... ...of range checks to happen in front end ...of the result to ensure that proper overflow and range |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Secondary stack leak with access-to-subprogram ...stack leak with access-to-subprogram an access-to-subprogram requires secondary stack management... the proper transient block. procedure Leak7 is procedure Anonymous_Leak (Func : access... procedure Named_Leak (Func : Func_Ptr) is access-to-subprogram requires it. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Unnesting: find local subps in nested stmt sequences subprograms in the elaboration code for... through nested statement sequences... procedure may appear within a condition... |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Spurious error on default parameter in protected... [Ada] Spurious error on default parameter in protected... ...patch fixes a spurious compiler error on a call to a protected operation whose profile includes a defaulted in-parameter... to another protected function of the same object. * exp_ch6.adb (Expand_Protected_Subprogram_Call): Handle properly a protected call that includes... is a call to a protected function of the same type. * gnat.dg/prot5.adb, gnat.dg/prot5_pkg.adb, gnat.dg/prot5_pkg.ads: New testcase. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] GNATmake fails to detect missing body ...a cryptic "code generation" error instead of the appropriate file not found error. procedure Main is procedure Force; properly listed even if said bodies... behavior in GNATprove mode. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Fix alignment of mutex_t and cond_t type on 32... The alignment of the couple of types from System.OS_Interface was wrongly |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Wrong value after assignment of overlain record... [Ada] Wrong value after assignment of overlain... assigned values properly when one or both of said... |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Spurious error on the placement of aspect Global [Ada] Spurious error on the placement of aspect Global ...the expansion of stand-alone subprogram bodies that appear in the body of a protected type to properly associate... the newly created spec for the subprogram body. As a result, the annotations are properly associated with the initial... * exp_ch9.adb (Analyze_Pragmas): New routine. (Build_Private_Protected_Declaration): Code clean... relevant aspects and pragmas from the stand-alone body to the been either relocated or produced by the analysis of the (Move_Pragmas): New routine. stand-along subprogram body declared in a protected... |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Compiler failure on an extended_return_statement... ...the Assert to test Current_Subprogram rather than Current_Scope. Current_Subprogram. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Spurious warning on iteration over range of 64... |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Print the Is_Activation_Record flag |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Replace low-level calls to Ekind with high-level... some code related to GNATprove, but then uniformly applied... frontend. For the few remaining membership... ...obvious whether the high-level routine makes the 2018-07-31 Piotr Trojanek <trojanek@adacore.com> with a wrapper routine. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Deconstruct 'F' as a prefix for an ALI data In GNATprove we used to store a variant of... 2018-07-31 Piotr Trojanek <trojanek@adacore.com> ...the FORMAL analysis done by GNATprove. |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Fix a freezing issue * sem.adb (Semantics): This subprogram has now the |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Fix resolution of class-wide operations that... |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Minor reformattings |
commitcommitdifftree |
2018-07-31 | pmderodat | [Ada] Spurious error -- "allocation from empty storage... [Ada] Spurious error -- "allocation from empty storage... ...function will get an incorrect error message "allocation from empty storage pool" even though... such allocation in the source program. |
commitcommitdifftree |
2018-07-30 | tromey | 2018-07-30 Tom Tromey <tom@tromey.com> 2018-07-30 Tom Tromey <tom@tromey.com> |
commitcommitdifftree |
2018-07-26 | ro | xfail experimental/memory_resource/new_delete_resource... |
commitcommitdifftree |
2018-07-17 | ro | Add -fomit-frame-pointer to gcc.target/i386/vartrack-1.c |
commitcommitdifftree |
2018-07-17 | ro | Build gcc/testsuite/g++.dg/lto/pr86523-[12]_0.C as PIC |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Spurious error on prefixed call in an instantiation [Ada] Spurious error on prefixed call in an instantiation This patch fixes a spurious error on a prefixed call in an instance... corresponding generic subprogram parameter. The patch also... error involving class-wide operations... ...Try_Object_Operation): Handle properly a prefixed call ...the corresponding generic subprogram |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Preserve original CE reason in more cases |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Add provision for floating-point in Apply_Division_Check [Ada] Add provision for floating-point in Apply_Divis... ...adb (Apply_Division_Check): Add provision for floating-point |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Fix expansion of aggregates components rewritten... |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Reuse Is_Rewrite_Substitution in Relocate_Node Semantics not affected; the reused routine is exactly the same as the... 2018-07-17 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Fix RM rule references 2018-07-17 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Fix incompatibility Default_Scalar_Storage_Order... non-default scalar storage order for a program that declares tagged types, if |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Use standard version of s-memory.adb for mingw32 process. ...Remove s-memory.adb target pair from the Cygwin/Mingw32 |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Faulty ignored Ghost code removal No small reproducer available. * frontend.adb (Frontend): The removal... |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Configuration state not observed for instance... This patch ensures that the processing of instantiated and inlined... the proper configuration context available... * frontend.adb (Frontend): Update the... SPARK_Mode_Pragma from record Pending_Body_Info because... routine is now a function, and returns... routine is now a function. subprograms. subprograms. configuration switch-related subprograms. (Analyze_Protected_Body_Stub): Update the calls... switch-related subprograms. (Analyze_Subprogram_Body_Stub): Update calls to... switch-related subprograms. (Instantiate_Subprogram_Body): Update the restoration... |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] ICE on renaming of result of binary operation |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Type mismatch warning for imported C++ class (gnat_to_gnu_entity) <E_Subprogram_Type>: Do not set the "thiscall" (gnat_to_gnu_subprog_type): Turn imported C++ constructors... ...param_list at the very end of the processing. (process_freeze_entity): Likewise. ...interface/utils.c (create_subprog_decl): Adjust head comment. |
commitcommitdifftree |
2018-07-17 | pmderodat | [Ada] Remove extra parentheses in Expand_Inlined_Call 2018-07-17 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
next |