<feed xmlns='http://www.w3.org/2005/Atom'>
<title>llvm-project.git/flang/lib/Semantics/check-coarray.cpp, branch main</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.
</subtitle>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/'/>
<entry>
<title>[flang][NFC] Use parser::Unwrap(Ref) more (#162918)</title>
<updated>2025-10-16T19:20:27+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-10-16T19:20:27+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=e0bffe1ff9082c7775063ccd52ec7213ee24f453'/>
<id>e0bffe1ff9082c7775063ccd52ec7213ee24f453</id>
<content type='text'>
Replace more parse tree references to "thing" and "value()" with usage
of the parser::Unwrap&lt;&gt; template function.
Add parser::UnwrapRef&lt;&gt; as an alias for DEREF(Unwrap&lt;&gt;()).</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Replace more parse tree references to "thing" and "value()" with usage
of the parser::Unwrap&lt;&gt; template function.
Add parser::UnwrapRef&lt;&gt; as an alias for DEREF(Unwrap&lt;&gt;()).</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Revamp evaluate::CoarrayRef (#136628)</title>
<updated>2025-05-12T19:02:15+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-05-12T19:02:15+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=9f8ff4b77d07570294a020c24bc347285c3affdc'/>
<id>9f8ff4b77d07570294a020c24bc347285c3affdc</id>
<content type='text'>
Bring the typed expression representation of a coindexed reference up to
F'2023, which removed some restrictions that had allowed the current
representation to suffice for older revisions of the language. This new
representation is somewhat more simple -- it uses a DataRef as its base,
so any subscripts in a part-ref can be represented as an ArrayRef there.

Update the code that creates the CoarrayRef, and add more checking to
it, as well as actually capturing any STAT=, TEAM=, &amp; TEAM_NUMBER=
specifiers that might appear. Enforce the constraint that the part-ref
must have subscripts if it is an array. (And update a pile of
copied-and-pasted test code that lacked such subscripts.)</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Bring the typed expression representation of a coindexed reference up to
F'2023, which removed some restrictions that had allowed the current
representation to suffice for older revisions of the language. This new
representation is somewhat more simple -- it uses a DataRef as its base,
so any subscripts in a part-ref can be represented as an ArrayRef there.

Update the code that creates the CoarrayRef, and add more checking to
it, as well as actually capturing any STAT=, TEAM=, &amp; TEAM_NUMBER=
specifiers that might appear. Enforce the constraint that the part-ref
must have subscripts if it is an array. (And update a pile of
copied-and-pasted test code that lacked such subscripts.)</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Test SYNC IMAGES, increase checking (#132279)</title>
<updated>2025-03-26T19:08:48+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-03-26T19:08:48+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=38207a52a701f8c2b77087450b277e7debd8fe73'/>
<id>38207a52a701f8c2b77087450b277e7debd8fe73</id>
<content type='text'>
Add a test for the SYNC IMAGES statement, and add a check for invalid
image numbers.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Add a test for the SYNC IMAGES statement, and add a check for invalid
image numbers.</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Complete semantic checks for FORM TEAM (#131022)</title>
<updated>2025-03-19T18:59:59+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-03-19T18:59:59+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=3f04fb42aa54c15e21c81c12bb8afb128d859eee'/>
<id>3f04fb42aa54c15e21c81c12bb8afb128d859eee</id>
<content type='text'>
Add remaining checking for the FORM TEAM statement, complete and enable
a test.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Add remaining checking for the FORM TEAM statement, complete and enable
a test.</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Enforce control flow restrictions on CHANGE TEAM (#131013)</title>
<updated>2025-03-19T18:59:39+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-03-19T18:59:39+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=1dc397deedb00ff13906788dd1a24d2bd21652f4'/>
<id>1dc397deedb00ff13906788dd1a24d2bd21652f4</id>
<content type='text'>
Like DO CONCURRENT and CRITICAL constructs, control flow into and out of
a CHANGE TEAM construct is disallowed.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Like DO CONCURRENT and CRITICAL constructs, control flow into and out of
a CHANGE TEAM construct is disallowed.</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Semantic checking of LOCK statement (#129806)</title>
<updated>2025-03-10T20:17:31+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-03-10T20:17:31+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=8c535669a3717a4c3f58154b672748f82f137c11'/>
<id>8c535669a3717a4c3f58154b672748f82f137c11</id>
<content type='text'>
Add checks for the LOCK statement, and complete and enable their tests.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Add checks for the LOCK statement, and complete and enable their tests.</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Refine EVENT_TYPE/LOCK_TYPE usage checks (#123244)</title>
<updated>2025-01-27T16:45:11+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2025-01-27T16:45:11+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=2625510ef8094457413661ef0ce2651844f584d2'/>
<id>2625510ef8094457413661ef0ce2651844f584d2</id>
<content type='text'>
The event variable in an EVENT POST/WAIT statement can be a coarray
reference, and need not be an entire coarray.

Variables and potential subobject components with EVENT_TYPE/LOCK_TYPE
must be coarrays, unless they are potential subobjects nested within
coarrays or pointers.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
The event variable in an EVENT POST/WAIT statement can be a coarray
reference, and need not be an entire coarray.

Variables and potential subobject components with EVENT_TYPE/LOCK_TYPE
must be coarrays, unless they are potential subobjects nested within
coarrays or pointers.</pre>
</div>
</content>
</entry>
<entry>
<title>[Flang] Switch to common::visit more call sites (#90018)</title>
<updated>2024-06-17T19:59:04+00:00</updated>
<author>
<name>Alexander Shaposhnikov</name>
<email>6532716+alexander-shaposhnikov@users.noreply.github.com</email>
</author>
<published>2024-06-17T19:59:04+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=77d8cfb3c50e3341d65af1f9e442004bbd77af9b'/>
<id>77d8cfb3c50e3341d65af1f9e442004bbd77af9b</id>
<content type='text'>
Switch to common::visit more call sites.

Test plan: ninja check-all</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Switch to common::visit more call sites.

Test plan: ninja check-all</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Add notify-type and notify-wait-stmt (#76594)</title>
<updated>2024-01-02T18:40:47+00:00</updated>
<author>
<name>Katherine Rasmussen</name>
<email>krasmussen@lbl.gov</email>
</author>
<published>2024-01-02T18:40:47+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=a2d7af757bc33dc91f2e038742915a146cfb0c13'/>
<id>a2d7af757bc33dc91f2e038742915a146cfb0c13</id>
<content type='text'>
Add `notify-type` to `iso_fortran_env` module. Add `notify-wait-stmt` to
the parser and add checks for constraints on the statement, `C1177` and
`C1178`, from the Fortran 2023 standard. Add three semantics tests for
`notify-wait-stmt`.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Add `notify-type` to `iso_fortran_env` module. Add `notify-wait-stmt` to
the parser and add checks for constraints on the statement, `C1177` and
`C1178`, from the Fortran 2023 standard. Add three semantics tests for
`notify-wait-stmt`.</pre>
</div>
</content>
</entry>
<entry>
<title>[flang] Add optional portability warning for upcoming Fortran 202X/3 breaking change</title>
<updated>2023-07-03T16:07:00+00:00</updated>
<author>
<name>Peter Klausler</name>
<email>pklausler@nvidia.com</email>
</author>
<published>2023-06-30T00:32:00+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=7871deb8213c2162e6234537f334ff6b11257b23'/>
<id>7871deb8213c2162e6234537f334ff6b11257b23</id>
<content type='text'>
The soon-to-be-published next revision of the ISO Fortran language standard
contains a couple of breaking changes to previous specifications that may cause
existing programs to silently change their behavior.

For the change that introduces automatic reallocation of deferred length
allocatable character scalar variables when they appear as the targets
of internal WRITE statements, as IOMSG=/ERRMSG= variables, as outputs
of INQUIRE specifiers, or as INTENT(OUT) arguments to intrinsic
procedures, this patch adds an optional portability warning.

Differential Revision: https://reviews.llvm.org/D154242
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
The soon-to-be-published next revision of the ISO Fortran language standard
contains a couple of breaking changes to previous specifications that may cause
existing programs to silently change their behavior.

For the change that introduces automatic reallocation of deferred length
allocatable character scalar variables when they appear as the targets
of internal WRITE statements, as IOMSG=/ERRMSG= variables, as outputs
of INQUIRE specifiers, or as INTENT(OUT) arguments to intrinsic
procedures, this patch adds an optional portability warning.

Differential Revision: https://reviews.llvm.org/D154242
</pre>
</div>
</content>
</entry>
</feed>
