diff options
| -rw-r--r-- | gcc/ChangeLog | 170 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 302 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 38 | ||||
| -rw-r--r-- | gcc/c/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 29 | ||||
| -rw-r--r-- | gcc/d/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/go/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/objc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 59 | ||||
| -rw-r--r-- | libatomic/ChangeLog | 4 | ||||
| -rw-r--r-- | libgomp/ChangeLog | 4 | ||||
| -rw-r--r-- | libitm/ChangeLog | 4 | ||||
| -rw-r--r-- | libphobos/ChangeLog | 4 |
15 files changed, 642 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6d91cce..38ec475 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,173 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * Makefile.in (OBJS): Add tree-diagnostic-client-data-hooks.o and + tree-logical-location.o. + (OBJS-libcommon): Add diagnostic-format-sarif.o; reorder. + (CFLAGS-tree-diagnostic-client-data-hooks.o): Add TARGET_NAME. + * common.opt (fdiagnostics-format=): Add sarif-stderr and sarif-file. + (sarif-stderr, sarif-file): New enum values. + * diagnostic-client-data-hooks.h: New file. + * diagnostic-format-sarif.cc: New file. + * diagnostic-path.h (enum diagnostic_event::verb): New enum. + (enum diagnostic_event::noun): New enum. + (enum diagnostic_event::property): New enum. + (struct diagnostic_event::meaning): New struct. + (diagnostic_event::get_logical_location): New vfunc. + (diagnostic_event::get_meaning): New vfunc. + (simple_diagnostic_event::get_logical_location): New vfunc impl. + (simple_diagnostic_event::get_meaning): New vfunc impl. + * diagnostic.cc: Include "diagnostic-client-data-hooks.h". + (diagnostic_initialize): Initialize m_client_data_hooks. + (diagnostic_finish): Clean up m_client_data_hooks. + (diagnostic_event::meaning::dump_to_pp): New. + (diagnostic_event::meaning::maybe_get_verb_str): New. + (diagnostic_event::meaning::maybe_get_noun_str): New. + (diagnostic_event::meaning::maybe_get_property_str): New. + (get_cwe_url): Make non-static. + (diagnostic_output_format_init): Handle + DIAGNOSTICS_OUTPUT_FORMAT_SARIF_STDERR and + DIAGNOSTICS_OUTPUT_FORMAT_SARIF_FILE. + * diagnostic.h (enum diagnostics_output_format): Add + DIAGNOSTICS_OUTPUT_FORMAT_SARIF_STDERR and + DIAGNOSTICS_OUTPUT_FORMAT_SARIF_FILE. + (class diagnostic_client_data_hooks): New forward decl. + (class logical_location): New forward decl. + (diagnostic_context::m_client_data_hooks): New field. + (diagnostic_output_format_init_sarif_stderr): New decl. + (diagnostic_output_format_init_sarif_file): New decl. + (get_cwe_url): New decl. + * doc/invoke.texi (-fdiagnostics-format=): Add sarif-stderr and + sarif-file. + * doc/sourcebuild.texi (Scan a particular file): Add + scan-sarif-file and scan-sarif-file-not. + * langhooks-def.h (lhd_get_sarif_source_language): New decl. + (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): New macro. + (LANG_HOOKS_INITIALIZER): Add + LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE. + * langhooks.cc (lhd_get_sarif_source_language): New. + * langhooks.h (lang_hooks::get_sarif_source_language): New field. + * logical-location.h: New file. + * plugin.cc (struct for_each_plugin_closure): New. + (for_each_plugin_cb): New. + (for_each_plugin): New. + * plugin.h (for_each_plugin): New decl. + * tree-diagnostic-client-data-hooks.cc: New file. + * tree-diagnostic.cc: Include "diagnostic-client-data-hooks.h". + (tree_diagnostics_defaults): Populate m_client_data_hooks. + * tree-logical-location.cc: New file. + * tree-logical-location.h: New file. + +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * common.opt (fdiagnostics-format=): Add json-stderr and json-file + to description. + (DIAGNOSTICS_OUTPUT_FORMAT_JSON): Rename to... + (DIAGNOSTICS_OUTPUT_FORMAT_JSON_STDERR): ...this. + (diagnostics_output_format): Add json-stderr and json-file. + * diagnostic-format-json.cc (json_flush_to_file): New. + (json_final_cb): Convert to... + (json_flush_to_file): ...this, ... + (json_stderr_final_cb): ...this, and... + (json_file_final_cb): ...this. + (diagnostic_output_format_init): Move to diagnostic.cc. + (json_output_base_file_name): New. + (diagnostic_output_format_init_json): New. + (diagnostic_output_format_init_json_stderr): New. + (diagnostic_output_format_init_json_file): New. + * diagnostic.cc (diagnostic_output_format_init): Move here from + diagnostic-format-json.cc; update for changes to enum. + * diagnostic.h (enum diagnostics_output_format): Rename + DIAGNOSTICS_OUTPUT_FORMAT_JSON to + DIAGNOSTICS_OUTPUT_FORMAT_JSON_STDERR, and add + DIAGNOSTICS_OUTPUT_FORMAT_JSON_FILE. + (diagnostic_output_format_init): Add base_file_name param. + (diagnostic_output_format_init_json_stderr): New decl. + (diagnostic_output_format_init_json_file): New dec. + * doc/invoke.texi (-fdiagnostics-format=): Add "json-stderr" and + "json-file". Rewrite so that the existing "json" is a synonym of + "json-stderr". + * gcc.cc (driver_handle_option): Pass dump_base_name to + diagnostic_output_format_init. + * opts.cc (common_handle_option): Likewise. + +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * json.cc (string::print): Fix escaping of '\'. + +2022-06-02 Philipp Tomsich <philipp.tomsich@vrull.eu> + + * config/riscv/riscv.cc (riscv_build_integer_1): Rewrite value as + (-1 << 31) for the single-bit case, when operating on (1 << 31) + in SImode. + * config/riscv/riscv.h (SINGLE_BIT_MASK_OPERAND): Allow for + any single-bit value, moving the special case for (1 << 31) to + riscv_build_integer_1 (in riscv.c). + +2022-06-02 Roger Sayle <roger@nextmovesoftware.com> + + PR target/105791 + * config/i386/sse.md (V_128_256):Add V1TI and V2TI. + (define_mode_attr avxsizesuffix): Add support for V1TI and V2TI. + +2022-06-02 Jakub Jelinek <jakub@redhat.com> + + PR target/105778 + * config/i386/i386.md (*ashl<dwi>3_doubleword_mask): Remove :SI + from AND and its operands and just verify operands[2] has HImode, + SImode or for TARGET_64BIT DImode. Allow operands[3] to be a mask + with all low 6 (64-bit) or 5 (32-bit) bits set and in that case + just throw away the masking. Use force_reg before calling + gen_lowpart. + (*ashl<dwi>3_doubleword_mask_1): Allow operands[3] to be a mask + with all low 6 (64-bit) or 5 (32-bit) bits set and in that case + just throw away the masking. + (*ashl<mode>3_doubleword): Rename to ... + (ashl<mode>3_doubleword): ... this. + (*ashl<mode>3_mask): Remove :SI from AND and its operands and just + verify operands[2] has HImode, SImode or for TARGET_64BIT DImode. + Use force_reg before calling gen_lowpart. + (*<insn><mode>3_mask): Likewise. + (*<insn><dwi>3_doubleword_mask): Likewise. Allow operands[3] to be + a mask with all low 6 (64-bit) or 5 (32-bit) bits set and in that + case just throw away the masking. Use force_reg before calling + gen_lowpart. + (*<insn><dwi>3_doubleword_mask_1): Allow operands[3] to be a mask + with all low 6 (64-bit) or 5 (32-bit) bits set and in that case just + throw away the masking. + (*<insn><mode>3_doubleword): Rename to ... + (<insn><mode>3_doubleword): ... this. + (*<insn><mode>3_mask): Remove :SI from AND and its operands and just + verify operands[2] has HImode, SImode or for TARGET_64BIT DImode. + Use force_reg before calling gen_lowpart. + (splitter after it): Remove :SI from AND and its operands and just + verify operands[2] has HImode, SImode or for TARGET_64BIT DImode. + (*<btsc><mode>_mask, *<btsc><mode>_mask): Remove :SI from AND and its + operands and just verify operands[1] has HImode, SImode or for + TARGET_64BIT DImode. Use force_reg before calling gen_lowpart. + (*jcc_bt<mode>_mask_1): New define_insn_and_split pattern. + * config/i386/i386.cc (ix86_rtx_costs): For ZERO_EXTRACT with + ZERO_EXTEND QI->SI in last operand ignore the cost of the ZERO_EXTEND. + +2022-06-02 Richard Biener <rguenther@suse.de> + + PR tree-optimization/101668 + * tree-vect-slp.cc (vect_build_slp_tree_1): Allow BIT_FIELD_REFs + for vector types with compatible lane types. + (vect_build_slp_tree_2): Deal with this. + (vect_add_slp_permutation): Adjust. Emit lowpart/concat + special cases without VEC_PERM. + (vectorizable_slp_permutation): Select the operand vector + type and relax requirements. Handle identity permutes + with mismatching operand types. + * optabs-query.cc (can_vec_perm_const_p): Only allow variable + permutes for op_mode == mode. + +2022-06-02 Richard Biener <rguenther@suse.de> + + PR tree-optimization/105802 + * tree-ssa-loop-unswitch.cc (find_unswitching_predicates_for_bb): + Make sure to also compute the range in the type of the switch index. + 2022-06-01 David Seifert <soap@gentoo.org> PR plugins/95648 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 42757d4..934a3d7 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220602 +20220603 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6cf00b6..1434ebe 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,305 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * gcc-interface/misc.cc (gnat_get_sarif_source_language): New. + (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + +2022-06-02 Pierre-Marie de Rodat <derodat@adacore.com> + + * gcc-interface/gigi.h: Update copyright notice. + * gcc-interface/lang-specs.h: Likewise. + * gcc-interface/utils.cc: Likewise. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/gigi.h (enum standard_datatypes): Remove values + for the SJLJ exception mechanism. + (jmpbuf_type): Delete. + (jmpbuf_ptr_type): Likewise. + (get_jmpbuf_decl): Likewise. + (set_jmpbuf_decl): Likewise. + (get_excptr_decl): Likewise. + (not_handled_by_others_decl): Likewise. + (setjmp_decl): Likewise. + (update_setjmp_buf_decl): Likewise. + (raise_nodefer_decl): Likewise. + (set_block_jmpbuf_decl): Likewise. + (get_block_jmpbuf_decl): Likewise. + * gcc-interface/trans.cc (gigi): Delete dead code. + * gcc-interface/utils.cc (gnat_binding_level): Remove JMPBUF_DECL. + (gnat_pushlevel): Do not clear it. + (set_block_jmpbuf_decl): Delete. + (get_block_jmpbuf_decl): Likewise. + +2022-06-02 Ghjuvan Lacambre <lacambre@adacore.com> + + * gcc-interface/decl.cc (warn_on_field_placement): Add insertion + character '.q' to warning string. + +2022-06-02 Arnaud Charlet <charlet@adacore.com> + + * gcc-interface/Makefile.in (gnatlib-shared-default): Add + -fno-lto. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/decl.cc (gnat_to_gnu_entity): Do not check the + scope of anonymous access Itypes. + * gcc-interface/trans.cc (Identifier_to_gnu): Do not translate + the return type of a subprogram here. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Expand_N_Package_Body): Build static dispatch + tables only for units that are not compilation units, unless + they are generic instances. Do not push a scope for this. + (Expand_N_Package_Declaration): Build static dispatch tables + only for units that are both not compilation units and generic + instances. + * exp_disp.adb (Build_Static_Dispatch_Tables): Remove redundant + early return. Push a scope for package bodies. + * sem_ch10.adb: Add with and use clauses for Exp_Disp. + (Analyze_Compilation_Unit): Build static dispatch tables here. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Clear the Is_Public + flag on thunks. + +2022-06-02 Piotr Trojanek <trojanek@adacore.com> + + * exp_ch13.adb, exp_ch5.adb, exp_ch9.adb, exp_strm.adb, + sem_ch10.adb, sem_ch13.adb, sem_ch5.adb, sem_ch6.adb, + sem_ch8.adb, sem_elab.adb, sem_eval.adb, sem_prag.adb, + sem_util.adb: Remove checks for the missing list before + iterating with First/Next; reindent code and refill comments. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * einfo.ads (Has_Controlling_Result): Document new usage. + (Is_Thunk): Document secondary stack thunks. + (Returns_By_Ref): Adjust. + * exp_ch6.adb (Caller_Known_Size): Return true for tagged types. + (Expand_N_Extended_Return_Statement): Do not call Set_By_Ref. + (Expand_Simple_Function_Return): For a BIP return with an Alloc_Form + parameter, mark the node as returning on the secondary stack. + Replace call to Is_Limited_Interface with Is_Limited_View. Deal wit + secondary stack thunks. Do not call Set_By_Ref. Optimize the case + of a call to a function whose type also needs finalization. + (Needs_BIP_Task_Actuals): Replace Thunk_Entity with Thunk_Target. + (Needs_BIP_Finalization_Master): Cosmetic fixes. + (Needs_BIP_Alloc_Form): Check No_Secondary_Stack restriction and + return true for tagged types. + * exp_ch7.adb (Transient Scope Management): Update description. + * exp_disp.adb (Expand_Dispatching_Call): Always set Returns_By_Ref + on designated type if the call is dispatching on result. Tidy up. + (Expand_Interface_Thunk): Change type of Thunk_Code from Node_Id to + List_Id. Change type of local variables from Node_Id to Entity_Id. + Propagate Aliased_Present flag to create the formals and explicitly + set Has_Controlling_Result to False. Build a secondary stack thunk + if necessary in the function case. + (Expand_Secondary_Stack_Thunk): New function. + (Make_Secondary_DT): Build secondary stack thunks if necessary. + (Make_DT): Likewise. + (Register_Predefined_Primitive): Likewise. + (Register_Primitive): Likewise. + * exp_util.ads (Is_Secondary_Stack_Thunk): Declare. + (Thunk_Target): Likewise. + * exp_util.adb (Is_Secondary_Stack_Thunk): New function. + (Thunk_Target): Likewise. + * fe.h (Is_Secondary_Stack_Thunk): Declare. + (Thunk_Target): Likewise. + * gen_il-fields.ads (Opt_Field_Enum): Remove By_Ref. + * gen_il-gen-gen_nodes.adb (N_Simple_Return_Statement): Likewise. + (N_Extended_Return_Statement): Likewise. + * sem_ch6.adb (Analyze_Subprogram_Specification): Skip check for + abstract return type in the thunk case. + (Create_Extra_Formals): Replace Thunk_Entity with Thunk_Target. + * sem_disp.adb (Check_Controlling_Formals): Skip in the thunk case. + * sem_util.adb: Add use and with clauses for Exp_Ch6. + (Compute_Returns_By_Ref): Do not process procedures and only set + the flag for direct return by reference. + (Needs_Secondary_Stack): Do not return true for specific tagged + types and adjust comments accordingly. + * sinfo.ads (By_Ref): Delete. + (N_Simple_Return_Statement): Remove By_Ref. + (N_Extended_Return_Statement): Likewise. + * gcc-interface/ada-tree.h (TYPE_RETURN_UNCONSTRAINED_P): Delete. + * gcc-interface/decl.cc (gnat_to_gnu_subprog_type): Do not use it. + Return by direct reference if the return type needs the secondary + stack as well as for secondary stack thunks. + * gcc-interface/gigi.h (fntype_same_flags_p): Remove parameter. + * gcc-interface/misc.cc (gnat_type_hash_eq): Adjust to above change. + * gcc-interface/trans.cc (finalize_nrv): Replace test on + TYPE_RETURN_UNCONSTRAINED_P with TYPE_RETURN_BY_DIRECT_REF_P. + (Subprogram_Body_to_gnu): Do not call maybe_make_gnu_thunk for + secondary stack thunks. + (Call_to_gnu): Do not test TYPE_RETURN_UNCONSTRAINED_P. + (gnat_to_gnu) <N_Simple_Return_Statement>: In the return by direct + reference case, test for the presence of Storage_Pool on the node + to build an allocator. + (maybe_make_gnu_thunk): Deal with Thunk_Entity and Thunk_Target. + * gcc-interface/utils.cc (fntype_same_flags_p): Remove parameter. + +2022-06-02 Marc Poulhiès <poulhies@adacore.com> + + * einfo.ads: Fix reference to Global_Entity_Suppress and + Local_Entity_Suppress variable in the comments. + * sem.ads: Likewise. + * sem_prag.adb: Likewise. + +2022-06-02 Claire Dross <dross@adacore.com> + + * libgnat/s-aridou.adb: Use Always_Return instead of Terminating + to annotate termination for GNATprove. + * libgnat/s-arit32.adb: Idem. + * libgnat/s-spcuop.ads: Idem. + +2022-06-02 Julien Bortolussi <bortolussi@adacore.com> + + * libgnat/a-cofuse.ads, libgnat/a-cofuse.adb, + libgnat/a-cofuma.ads, libgnat/a-cofuma.adb: Make Length and + Num_Overlaps return Big_Natural. + * libgnat/a-cforse.ads, libgnat/a-cforse.adb, + libgnat/a-cforma.adb, libgnat/a-cfhase.ads, + libgnat/a-cfhase.adb, libgnat/a-cfhama.adb, + libgnat/a-cfdlli.adb: Adapt code to handle Big_Integers instead + of Count_Type. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch3.adb (Init_Secondary_Tags.Initialize_Tag): Initialize the + Offset_Func component by means of 'Unrestricted_Access. + +2022-06-02 Ghjuvan Lacambre <lacambre@adacore.com> + + * errout.adb (Write_JSON_Span): Add subprogram name to emitted + JSON. + +2022-06-02 Arnaud Charlet <charlet@adacore.com> + + * sem_ch7.adb (Set_Referencer_Of_Non_Subprograms): New local + procedure, used for code refactoring. Also take into account + Inline_Always pragma when deciding to make a symbol public for + C generation. + +2022-06-02 Yannick Moy <moy@adacore.com> + + * atree.adb (New_Copy): Reset flags related to ghost entities + before marking the new node. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch6.adb (Freeze_Subprogram.Register_Predefined_DT_Entry): Move + procedure to... + * exp_disp.ads (Expand_Interface_Thunk): Move declaration to... + (Register_Predefined_Primitive): Declare. + * exp_disp.adb (Expand_Interface_Thunk): ...here. + (Register_Predefined_Primitive): ...here and change into a function + returning List_Id. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch3.adb (Expand_Freeze_Record_Type): Adjust comment. + (Expand_N_Object_Declaration): Do not build static dispatch tables. + * exp_disp.adb (Make_And_Insert_Dispatch_Table): New procedure. + (Build_Static_Dispatch_Tables): Call it to build the dispatch tables + and wrap them in the Actions list of a freeze node. + +2022-06-02 Doug Rupp <rupp@adacore.com> + + * libgnat/system-vxworks7-arm.ads (Support_Atomic_Primitives): + Set True. + * libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise. + * libgnat/system-vxworks7-aarch64.ads: Likewise. + * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Likewise: + +2022-06-02 Javier Miranda <miranda@adacore.com> + + * libgnat/g-dyntab.ads (Table_Type): Update documentation. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * freeze.adb (Check_Expression_Function.Find_Constant): Make test + for deferred constants more robust. + +2022-06-02 Joffrey Huguet <huguet@adacore.com> + + * libgnat/i-cstrin.ads (Update): Update precondition. + +2022-06-02 Yannick Moy <moy@adacore.com> + + * sem_ch2.adb (Analyze_Identifier): Add checking for ghost + context. + * sem_ch5.adb (Analyze_Implicit_Label_Declaration): Treat + implicit labels like other entities by setting their ghost + status according to context. + * ghost.adb (Check_Ghost_Context): Adapt checking. + +2022-06-02 Joffrey Huguet <huguet@adacore.com> + + * libgnat/i-cstrin.ads (Update): Add precondition. + +2022-06-02 Yannick Moy <moy@adacore.com> + + * sem_ch5.adb (Analyze_Label_Entity): Remove body. + * sem_ch5.ads (Analyze_Label_Entity): Remove spec. + +2022-06-02 Eric Botcazou <ebotcazou@adacore.com> + + * sem_util.adb (Propagate_DIC_Attributes): Add ??? comment. + (Propagate_Invariant_Attributes): Likewise. Propagate the + Has_Inheritable_Invariants and Has_Inherited_Invariants to + the base type of the target type. + +2022-06-02 Doug Rupp <rupp@adacore.com> + + * libgnat/system-linux-arm.ads (Memory_Size): Compute based on + Word_Size. + +2022-06-02 Doug Rupp <rupp@adacore.com> + + * libgnat/system-vxworks7-aarch64-rtp-smp.ads (Word_Size): + Compute based on Standard'Word_Size. (Memory_Size): Compute + based on Word_Size. + * libgnat/system-vxworks7-arm-rtp-smp.ads: Likewise. + * libgnat/system-vxworks7-e500-rtp-smp.ads: Likewise. + * libgnat/system-vxworks7-e500-rtp.ads: Likewise. + * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise. + * libgnat/system-vxworks7-ppc-rtp.ads: Likewise. + * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise. + * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise. + * libgnat/system-vxworks7-x86-rtp.ads: Likewise. + +2022-06-02 Justin Squirek <squirek@adacore.com> + + * gnatbind.adb (Gnatbind): Add initialize call for Uintp + * gnatls.adb (Gnatls): Likewise. + * gprep.adb (Gnatprep): Likewise. + * make.adb (Initialize): Likewise. + +2022-06-02 Claire Dross <dross@adacore.com> + + * libgnat/a-cfinve.ads (Element): Change the type of the + Position parameter to Extended_Index. + * libgnat/a-cfinve.adb (Element): Idem. + * libgnat/a-cofove.ads (Element): Idem. + * libgnat/a-cofove.adb (Element): Idem. + +2022-06-02 Joffrey Huguet <huguet@adacore.com> + + * libgnat/s-atacco.ads (To_Pointer): Add Global => null. + (To_Address): Add SPARK_Mode => Off. + +2022-06-02 Joffrey Huguet <huguet@adacore.com> + + * libgnat/i-cstrin.ads (To_Chars_Ptr): Add SPARK_Mode => Off. + (Free): Likewise. + (New_Char_Array): Add global contracts and Volatile attribute. + (New_String): Likewise. + (Value, Strlen, Update): Add global contracts and preconditions. + * libgnat/i-cstrin.adb: Add SPARK_Mode => Off to the package + body. + 2022-06-01 Yannick Moy <moy@adacore.com> * contracts.adb (Check_Type_Or_Object_External_Properties): Check diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 6bceab8..53b3ffb 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,41 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * checker-path.cc (checker_event::get_meaning): New. + (function_entry_event::get_meaning): New. + (state_change_event::get_desc): Add dump of meaning of the event + to the -fanalyzer-verbose-state-changes output. + (state_change_event::get_meaning): New. + (cfg_edge_event::get_meaning): New. + (call_event::get_meaning): New. + (return_event::get_meaning): New. + (start_consolidated_cfg_edges_event::get_meaning): New. + (warning_event::get_meaning): New. + * checker-path.h: Include "tree-logical-location.h". + (checker_event::checker_event): Construct m_logical_loc. + (checker_event::get_logical_location): New. + (checker_event::get_meaning): New decl. + (checker_event::m_logical_loc): New. + (function_entry_event::get_meaning): New decl. + (state_change_event::get_meaning): New decl. + (cfg_edge_event::get_meaning): New decl. + (call_event::get_meaning): New decl. + (return_event::get_meaning): New decl. + (start_consolidated_cfg_edges_event::get_meaning): New. + (warning_event::get_meaning): New decl. + * pending-diagnostic.h: Include "diagnostic-path.h". + (pending_diagnostic::get_meaning_for_state_change): New vfunc. + * sm-file.cc (file_diagnostic::get_meaning_for_state_change): New + vfunc impl. + * sm-malloc.cc (malloc_diagnostic::get_meaning_for_state_change): + Likewise. + * sm-sensitive.cc + (exposure_through_output_file::get_meaning_for_state_change): + Likewise. + * sm-taint.cc (taint_diagnostic::get_meaning_for_state_change): + Likewise. + * varargs.cc + (va_list_sm_diagnostic::get_meaning_for_state_change): Likewise. + 2022-05-23 David Malcolm <dmalcolm@redhat.com> * call-info.cc: Add "final" and "override" to all vfunc diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 3f1a135..0bc8b8e 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * c-lang.cc (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + (c_get_sarif_source_language): New. + * c-tree.h (c_get_sarif_source_language): New decl. + 2022-05-31 Jason Merrill <jason@redhat.com> * Make-lang.in (c.tags): Look at *.cc. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f66381b..5c8cdb8 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,32 @@ +2022-06-02 Marek Polacek <polacek@redhat.com> + + * constexpr.cc (potential_constant_expression_1): Treat + {,VEC_}NEW_EXPR and {,VEC_}DELETE_EXPRas potentially constant in C++20. + +2022-06-02 Marek Polacek <polacek@redhat.com> + + PR c++/105803 + * pt.cc (value_dependent_expression_p): Handle {,VEC_}NEW_EXPR + in the switch. + +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * cp-lang.cc (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + (cp_get_sarif_source_language): New. + +2022-06-02 Jason Merrill <jason@redhat.com> + + PR c++/105795 + * constexpr.cc (init_subob_ctx): Clear ctx->ctor for empty subob. + (cxx_eval_store_expression): Likewise. + (cxx_eval_bare_aggregate): Handle null ctx->ctor. + +2022-06-02 Jason Merrill <jason@redhat.com> + + PR c++/105795 + * constexpr.cc (cxx_eval_bare_aggregate): Always call + init_subob_ctx. + 2022-06-01 Jason Merrill <jason@redhat.com> PR c++/105734 diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index 4ed0467..99e1089 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,8 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * d-lang.cc (d_get_sarif_source_language): New. + (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + 2022-05-31 Jason Merrill <jason@redhat.com> * Make-lang.in (d.tags): Just look at *.cc. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index ec7c48e..d584790 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,8 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * f95-lang.cc (gfc_get_sarif_source_language): New. + (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + 2022-05-31 Jason Merrill <jason@redhat.com> * Make-lang.in (fortran.tags): Look at *.cc. diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index ee08e1c..5fdf423 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,8 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * go-lang.cc (go_get_sarif_source_language): New. + (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + 2022-05-31 Jason Merrill <jason@redhat.com> * Make-lang.in (go.tags): Look at *.cc. diff --git a/gcc/objc/ChangeLog b/gcc/objc/ChangeLog index 815b865..01720f7 100644 --- a/gcc/objc/ChangeLog +++ b/gcc/objc/ChangeLog @@ -1,3 +1,9 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * objc-act.h (objc_get_sarif_source_language): New decl. + * objc-lang.cc (LANG_HOOKS_GET_SARIF_SOURCE_LANGUAGE): Redefine. + (objc_get_sarif_source_language): New. + 2022-05-31 Jason Merrill <jason@redhat.com> * Make-lang.in (objc.tags): Look at *.cc. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 62def2a..a77a0fe 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,62 @@ +2022-06-02 Marek Polacek <polacek@redhat.com> + + PR c++/105803 + * g++.dg/template/new13.C: New test. + +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * c-c++-common/diagnostic-format-sarif-file-1.c: New test. + * c-c++-common/diagnostic-format-sarif-file-2.c: New test. + * c-c++-common/diagnostic-format-sarif-file-3.c: New test. + * c-c++-common/diagnostic-format-sarif-file-4.c: New test. + * gcc.dg/analyzer/file-meaning-1.c: New test. + * gcc.dg/analyzer/malloc-meaning-1.c: New test. + * gcc.dg/analyzer/malloc-sarif-1.c: New test. + * gcc.dg/plugin/analyzer_gil_plugin.c + (gil_diagnostic::get_meaning_for_state_change): New vfunc impl. + * gcc.dg/plugin/diagnostic-test-paths-5.c: New test. + * gcc.dg/plugin/plugin.exp (plugin_test_list): Add + diagnostic-test-paths-5.c to tests for + diagnostic_plugin_test_paths.c. + * lib/gcc-dg.exp: Load scansarif.exp. + * lib/scansarif.exp: New test. + +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * c-c++-common/diagnostic-format-json-file-1.c: New test. + * c-c++-common/diagnostic-format-json-stderr-1.c: New test. + +2022-06-02 Jason Merrill <jason@redhat.com> + + PR c++/105795 + * g++.dg/cpp1z/constexpr-aggr-base1.C: New test. + +2022-06-02 Roger Sayle <roger@nextmovesoftware.com> + + PR target/105791 + * gcc.target/i386/pr105791.c: New test case. + +2022-06-02 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/30314 + * gcc.dg/tree-ssa/pr30314.c: Add tests with swapped arguments. + +2022-06-02 Jakub Jelinek <jakub@redhat.com> + + PR target/105778 + * gcc.target/i386/pr105778.c: New test. + +2022-06-02 Richard Biener <rguenther@suse.de> + + PR tree-optimization/101668 + * gcc.target/i386/pr101668.c: New testcase. + * gcc.dg/vect/bb-slp-pr101668.c: Likewise. + +2022-06-02 Richard Biener <rguenther@suse.de> + + PR tree-optimization/105802 + * g++.dg/opt/pr105802.C: New testcase. + 2022-06-01 H.J. Lu <hjl.tools@gmail.com> PR rtl-optimization/105638 diff --git a/libatomic/ChangeLog b/libatomic/ChangeLog index 0038339..d34b9a1 100644 --- a/libatomic/ChangeLog +++ b/libatomic/ChangeLog @@ -1,3 +1,7 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * testsuite/lib/libatomic.exp: Add load_gcc_lib of scansarif.exp. + 2022-03-24 Tom de Vries <tdevries@suse.de> PR target/105011 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 3918546..2fbed18 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,7 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * testsuite/lib/libgomp.exp: Add load_gcc_lib of scansarif.exp. + 2022-05-31 Jakub Jelinek <jakub@redhat.com> * testsuite/libgomp.c-c++-common/allocate-1.c (foo): Add testcase for diff --git a/libitm/ChangeLog b/libitm/ChangeLog index fc9e9a0..d1d9212 100644 --- a/libitm/ChangeLog +++ b/libitm/ChangeLog @@ -1,3 +1,7 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * testsuite/lib/libitm.exp: Add load_gcc_lib of scansarif.exp. + 2022-02-03 David Seifert <soap@gentoo.org> Jakub Jelinek <jakub@redhat.com> diff --git a/libphobos/ChangeLog b/libphobos/ChangeLog index 6df8af4..7345327 100644 --- a/libphobos/ChangeLog +++ b/libphobos/ChangeLog @@ -1,3 +1,7 @@ +2022-06-02 David Malcolm <dmalcolm@redhat.com> + + * testsuite/lib/libphobos-dg.exp: Add load_gcc_lib of scansarif.exp. + 2022-05-27 Iain Buclaw <ibuclaw@gdcproject.org> * libdruntime/MERGE: Merge upstream druntime f89da313. |