+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
+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
+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
+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.
+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
+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.
+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.
+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.
+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.
+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
+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
+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
+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>
+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.
git://gcc.gnu.org / gcc.git / commitdiff