Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Diagnostic Output for AFMV (#19) #40

Open
wants to merge 114 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
114 commits
Select commit Hold shift + click to select a range
5d0c1b4
doloop: Add support for predicated vectorized loops
avieira-arm Jun 19, 2024
3dfc28d
arm: Add support for MVE Tail-Predicated Low Overhead Loops
avieira-arm Jun 19, 2024
954f901
Fortran: fix for CHARACTER(len=*) dummies with bind(C) [PR115390]
harald-anlauf Jun 18, 2024
9651d60
libstdc++: Add conditional noexcept to std::pair default ctor
jwakely Jun 18, 2024
5d156a9
libstdc++: Add noexcept to some std::promise shared state internals
jwakely Jun 18, 2024
bcb9dad
libstdc++: Consistently indent <future> with tabs
jwakely Jun 19, 2024
0982552
xtensa: Eliminate double MEMW insertions for volatile memory
jjsuwa-sys3175 Jun 19, 2024
6f6ea27
i386: Zhaoxin shijidadao enablement
MayShao-oc Jun 19, 2024
25860fd
bitint: Fix up lowering of COMPLEX_EXPR [PR115544]
jakubjelinek Jun 19, 2024
e03583e
RISC-V: Promote Zaamo/Zalrsc to a when using an old binutils
patrick-rivos Jun 18, 2024
f0204ae
[PATCH v2] RISC-V: Remove float vector eqne pattern
demin-han Jun 19, 2024
a334189
Revert "Build: Fix typo ac_cv_search_pthread_crate"
wzssyqa Jun 19, 2024
6d6587b
Revert "build: Fix missing variable quotes"
wzssyqa Jun 19, 2024
ebfffb6
Daily bump.
Jun 20, 2024
70466e6
vect: Add a function to check lane-reducing stmt
feng-xue-ampere Jun 15, 2024
a944e57
vect: Remove duplicated check on reduction operand
feng-xue-ampere Jun 16, 2024
0726f1c
vect: Use one reduction_type local variable
feng-xue-ampere Jun 16, 2024
b9c369d
vect: Use an array to replace 3 relevant variables
feng-xue-ampere Jun 16, 2024
ecbc96b
vect: Tighten an assertion for lane-reducing in transform
feng-xue-ampere Jun 16, 2024
bea447a
build: Fix missing variable quotes and typo
collinfunk Jun 19, 2024
46bb4ce
tree-optimization/114413 - SLP CSE after permute optimization
rguenth Jun 19, 2024
ccaa39a
Fortran: Auto array allocation with function dependencies [PR59104]
Jun 20, 2024
4867cc8
i386: Fix some ISA bit test in option_override
wwwhhhyyy Jun 17, 2024
21b54da
ada: Fix list of attributes defined by Ada 2022
ptroja Feb 1, 2024
cba9a6c
ada: Improve preprocessor error handling.
swbaird May 10, 2024
6e5f911
ada: Update documentation for 'Super
AdaDoom3 May 9, 2024
d1c0759
ada: Treat Info-Warnings as Info messages
May 6, 2024
82531c6
ada: Add switch for suppressing info messages
May 7, 2024
0f906fe
ada: Convert -gnatw.n messages to warnings
May 10, 2024
23c332e
ada: Change messages for -gnatw.v to warnings
May 13, 2024
20f5d5e
ada: Document -gnatd_w for CCG
richardkenner May 15, 2024
cfd7b02
ada: Fix minor issues in comments
May 10, 2024
2e28085
ada: Do not compute Has_Controlled_Component twice during freezing
May 14, 2024
7abf222
ada: Add Dump_Buffers hooks for code coverage
ronan-d May 15, 2024
c207c2d
ada: Couple of minor fixes in GNAT Reference Manual
May 16, 2024
ad264cb
ada: Remove Max_Entry_Queue_Depth pragma/aspect
May 16, 2024
42305c7
ada: Fix style in freezing code
ptroja May 15, 2024
09ed91d
ada: Remove redundant conditions from freezing code
ptroja May 15, 2024
4f6ee98
ada: Streamline propagation of controlled flags on types
May 15, 2024
7e05732
ada: Add documentation for Subprogram_Variant aspect and pragma
ptroja May 16, 2024
664e47e
ada: Update Bit Ordering references in GNAT Reference Manual
May 17, 2024
ce59982
ada: Enforce strict alignment for array types with aliased component
May 19, 2024
9cf9514
ada: Fix crash on real literal in declare expression of expression fu…
May 20, 2024
3a16f19
ada: Fix bogus error with "=" operator on array of private unchecked …
May 20, 2024
980fddd
ada: New pragma to default all interrupts to system.
Cementitious Feb 3, 2024
e8e0306
ada: Fix composition of primitive equality for untagged records with …
May 21, 2024
c5d7daa
ada: Fix assertion failure during analysis of instantiation of formal…
May 24, 2024
3c6dcd1
ada: Fix inlining of fixed-lower-bound array for GNATprove
yannickmoy May 23, 2024
ecb84b0
ada: Crash on selected component of formal derived type in generic in…
dismukes May 23, 2024
36bd573
ada: Replace "All" argument to Extensions_Allowed pragma with "All_Ex…
swbaird May 24, 2024
a688a02
ada: Rewrite generic formal/actual matching
bobduff May 28, 2024
4c98b69
ada: Fix checking of SPARK RM on ghost with concurrent part
yannickmoy May 27, 2024
301927d
ada: Reference to nonexistent operator in reduction expression accepted
swbaird May 16, 2024
1340dde
libstdc++: Fix find_last_set(simd_mask) to ignore padding bits
mattkretz Jun 14, 2024
f739ad5
[RISC-V] Minor cleanup/improvement to bset/binv patterns
JeffreyALaw Jun 20, 2024
9a76db2
i386: Allow all register_operand SUBREGs in x86_ternlog_idx.
rogersayle Jun 20, 2024
e71481e
Daily bump.
Jun 21, 2024
52c1128
rs6000: Fix wrong RTL patterns for vector merge high/low word on LE
jedilyn Jun 21, 2024
7b67ec4
MIPS: Set condmove cost to SET(REG, REG)
wzssyqa Jun 18, 2024
573f11e
Build: Set gcc_cv_as_mips_explicit_relocs if gcc_cv_as_mips_explicit_…
wzssyqa Jun 20, 2024
1f974c3
Remove outdated info from passes.texi
rguenth Jun 21, 2024
59221dc
complex-lowering: Better handling of PAREN_EXPR [PR68855]
apinski-quic Jun 20, 2024
3ebd803
ada: Spurious style error with mutiple square brackets
AdaDoom3 May 9, 2024
a0546a3
ada: Fix for Default_Component_Value with declare expressions
ptroja May 16, 2024
c5aed35
ada: Fix assertion failure on predicate involving access parameter
May 21, 2024
244d02b
ada: Predefined arithmetic operators incorrectly treated as directly …
swbaird May 24, 2024
39f3595
ada: Fix gnatcheck violation reported after a recent cleanup
ptroja Apr 17, 2024
9ce1b11
ada: Generic formal/actual matching -- misc cleanup
bobduff May 30, 2024
8c7ce88
ada: Fix incorrect handling of packed array with aliased composite co…
May 30, 2024
aa34d34
ada: Fix internal error on case expression used as index of array com…
May 28, 2024
2b55cc5
ada: Fix missing index check with declare expression
May 30, 2024
df06370
ada: Cannot override inherited function with controlling result
miranda-adacore May 30, 2024
3c99b1a
ada: Revert conditional installation of signal handlers on VxWorks
Cementitious Jun 4, 2024
7a51065
ada: Small cleanup in processing of primitive operations
Jun 4, 2024
498c626
ada: Change error message on invalid RTS path
marc-adacore Jun 4, 2024
96e037b
ada: Crash when using user defined string literals
miranda-adacore Jun 6, 2024
728c145
ada: Fix crash in GNATbind during error reporting
Jun 5, 2024
036a37e
ada: Apply fixes to Examine_Array_Bounds
ronan-d Jun 6, 2024
3cc00cc
ada: Reject ambiguous function calls in interpolated string expressions
miranda-adacore Jun 6, 2024
4e12854
ada: Implement fast modulo reduction for nonbinary modular multiplica…
Apr 5, 2024
9aa8324
ada: Implement fast modulo reduction for nonbinary modular multiplica…
Apr 20, 2024
d69c53f
ada: Fix bogus Address Sanitizer stack-buffer-overflow on packed reco…
May 27, 2024
2b510ac
ada: Fix bogus Address Sanitizer stack-buffer-overflow on packed arra…
May 27, 2024
fbe4dd2
ada: Fix internal error on protected type with -gnatc -gnatR
May 28, 2024
f49267e
sh: Make *minus_plus_one work after RA
rsandifo-arm Jun 21, 2024
e2fb245
libstdc++: Initialize base in test allocator's constructor
jwakely Jun 20, 2024
510ce5e
libstdc++: Fix std::to_array for trivial-ish types [PR115522]
jwakely Jun 18, 2024
f906b10
libstdc++: Fix __cpp_lib_chrono for old std::string ABI
jwakely Jun 20, 2024
bb7d052
libstdc++: Add [[deprecated]] to std::wstring_convert and std::wbuffe…
jwakely Mar 22, 2024
577225a
libstdc++: Add deprecation warnings to <strstream> types
jwakely Apr 7, 2024
c3e2373
libstdc++: Undeprecate std::pmr::polymorphic_allocator::destroy (P287…
jwakely Jun 18, 2024
466ee78
libstdc++: Make std::any_cast<void> ill-formed (LWG 3305)
jwakely Jun 18, 2024
09ca26c
libstdc++: Qualify calls in <bits/stl_uninitialized.h> to prevent ADL
jwakely Jun 20, 2024
9f4fdc3
diagnostics: fixes to SARIF output [PR109360]
davidmalcolm Jun 21, 2024
a84fe22
testsuite: check that generated .sarif files validate against the SAR…
davidmalcolm Jun 21, 2024
ffaa806
Add builtin_unreachable processing for fast_vrp.
andrewwmacleod Jun 17, 2024
68532d3
Change fast VRP algorithm
andrewwmacleod Jun 17, 2024
747a060
Print "Global Exported" to dump_file from set_range_info.
andrewwmacleod Jun 17, 2024
4a43a06
rtl-ssa: Don't cost no-op moves
rsandifo-arm Jun 21, 2024
8f254cd
iq2000: Fix test and branch instructions
rsandifo-arm Jun 21, 2024
5320bcb
xstormy16: Fix xs_hi_nonmemory_operand
rsandifo-arm Jun 21, 2024
77f3214
libstdc++: Fix test on x86_64 and non-simd targets
mattkretz Jun 21, 2024
b374318
libstdc++: Fix std::fill and std::fill_n optimizations [PR109150]
jwakely Jun 19, 2024
139d65d
libstdc++: Don't use std::__is_scalar in std::valarray initialization…
jwakely Jun 19, 2024
5f10547
libstdc++: Stop using std::__is_pointer in <deque> and <algorithm> [P…
jwakely Jun 19, 2024
51cc776
libstdc++: Remove std::__is_void class template [PR115497]
jwakely Jun 19, 2024
52a8235
libstdc++: Remove std::__is_pointer and std::__is_scalar [PR115497]
jwakely Jun 19, 2024
37f3000
[committed] Fix testsuite fallout on stormy16 after IOR->PLUS change
JeffreyALaw Jun 21, 2024
4819dc7
diagnostics: move diagnostic_{event,path} functions to diagnostic-pat…
davidmalcolm Jun 21, 2024
ccbcde5
diagnostics: remove duplicate copies of diagnostic_kind_text
davidmalcolm Jun 21, 2024
69fdcd0
Daily bump.
Jun 22, 2024
be0f770
Added test file to Makefile.in for diagnostic output
Anatolii-developer Jun 22, 2024
3401854
Added test file to Makefile.in for diagnostic output
Anatolii-developer Jun 22, 2024
a3d3dbc
Added test file to Makefile.in for diagnostic output
Anatolii-developer Jun 22, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
ada: Fix bogus error with "=" operator on array of private unchecked …
…union

The code is legal and, therefore, must be accepted by the compiler, but it
must raise Program_Error at run time due to operands not having inferable
discriminants and a warning be given at compile time (RM B.3.3(22-23)).

gcc/ada/

	* exp_ch4.adb (Expand_Array_Equality.Component_Equality): Copy the
	Comes_From_Source flag from the original test to the new one, and
	remove obsolete code dealing with unchecked unions.
	* sem_util.adb (Has_Inferable_Discriminants): Return False for an
	incomplete or private nominal subtype.
  • Loading branch information
Eric Botcazou authored and marc-adacore committed Jun 20, 2024
commit 3a16f19777f882f98b6d901a81157779e898f636
27 changes: 9 additions & 18 deletions gcc/ada/exp_ch4.adb
Original file line number Diff line number Diff line change
@@ -1570,26 +1570,17 @@ package body Exp_Ch4 is
(Outer_Type => Typ, Nod => Nod, Comp_Type => Component_Type (Typ),
Lhs => L, Rhs => R);

-- If some (sub)component is an unchecked_union, the whole operation
-- will raise program error.
-- This is necessary to give the warning about Program_Error being
-- raised when some (sub)component is an unchecked_union.

if Nkind (Test) = N_Raise_Program_Error then
Preserve_Comes_From_Source (Test, Nod);

-- This node is going to be inserted at a location where a
-- statement is expected: clear its Etype so analysis will set
-- it to the expected Standard_Void_Type.

Set_Etype (Test, Empty);
return Test;

else
return
Make_Implicit_If_Statement (Nod,
Condition => Make_Op_Not (Loc, Right_Opnd => Test),
Then_Statements => New_List (
Make_Simple_Return_Statement (Loc,
Expression => New_Occurrence_Of (Standard_False, Loc))));
end if;
return
Make_Implicit_If_Statement (Nod,
Condition => Make_Op_Not (Loc, Right_Opnd => Test),
Then_Statements => New_List (
Make_Simple_Return_Statement (Loc,
Expression => New_Occurrence_Of (Standard_False, Loc))));
end Component_Equality;

------------------
7 changes: 5 additions & 2 deletions gcc/ada/sem_util.adb
Original file line number Diff line number Diff line change
@@ -12119,11 +12119,14 @@ package body Sem_Util is
and then Is_Constrained (Etype (Subtype_Mark (N)));

-- For all other names, it is sufficient to have a constrained
-- Unchecked_Union nominal subtype.
-- Unchecked_Union nominal subtype, unless it is incomplete or
-- private because it cannot have a known discriminant part in
-- this case (RM B.3.3 (11/2)).

else
return Is_Unchecked_Union (Etype (N))
and then Is_Constrained (Etype (N));
and then Is_Constrained (Etype (N))
and then not Is_Incomplete_Or_Private_Type (Etype (N));
end if;
end Has_Inferable_Discriminants;