This is an archive of the discontinued LLVM Phabricator instance.

Differential D122438

[flang] Mark C_ASSOCIATED specific procedures as PURE
ClosedPublic

Authored by klausler on Mar 24 2022, 3:49 PM.

Details

Reviewers
mleair
vdonaldson
Commits
rG5c116d50e42f: [flang] Mark C_ASSOCIATED specific procedures as PURE
Summary

The interfaces to C_ASSOCIATED()'s specific procedures must be
PURE so that they are accepted for use in specification expressions.

Diff Detail

Event Timeline

klausler created this revision.Mar 24 2022, 3:49 PM
Herald added a project: Restricted Project. · View Herald TranscriptMar 24 2022, 3:49 PM
Herald added a subscriber: jdoerfert. · View Herald Transcript
klausler requested review of this revision.Mar 24 2022, 3:49 PM
Harbormaster completed remote builds in B156159: Diff 418064.Mar 24 2022, 4:06 PM
klausler added a reviewer: vdonaldson.Mar 25 2022, 11:18 AM
vdonaldson accepted this revision.Mar 25 2022, 11:54 AM
This revision is now accepted and ready to land.Mar 25 2022, 11:54 AM
Closed by commit rG5c116d50e42f: [flang] Mark C_ASSOCIATED specific procedures as PURE (authored by klausler). · Explain WhyMar 25 2022, 3:04 PM
This revision was automatically updated to reflect the committed changes.
klausler added a commit: rG5c116d50e42f: [flang] Mark C_ASSOCIATED specific procedures as PURE.

Revision Contents

PathSize
flang/
module/
4 lines

Diff 418335

flang/module/iso_c_binding.f90

Show First 20 Lines • Show All 84 Lines • ▼ Show 20 Lines#endif
! gfortran extensions ! gfortran extensions
integer, parameter :: & integer, parameter :: &
c_float128 = 16, & c_float128 = 16, &
c_float128_complex = c_float128 c_float128_complex = c_float128
contains contains
logical function c_associated_c_ptr(c_ptr_1, c_ptr_2) pure logical function c_associated_c_ptr(c_ptr_1, c_ptr_2)
type(c_ptr), intent(in) :: c_ptr_1 type(c_ptr), intent(in) :: c_ptr_1
type(c_ptr), intent(in), optional :: c_ptr_2 type(c_ptr), intent(in), optional :: c_ptr_2
if (c_ptr_1%__address == c_null_ptr%__address) then if (c_ptr_1%__address == c_null_ptr%__address) then
c_associated_c_ptr = .false. c_associated_c_ptr = .false.
else if (present(c_ptr_2)) then else if (present(c_ptr_2)) then
c_associated_c_ptr = c_ptr_1%__address == c_ptr_2%__address c_associated_c_ptr = c_ptr_1%__address == c_ptr_2%__address
else else
c_associated_c_ptr = .true. c_associated_c_ptr = .true.
end if end if
end function c_associated_c_ptr end function c_associated_c_ptr
logical function c_associated_c_funptr(c_funptr_1, c_funptr_2) pure logical function c_associated_c_funptr(c_funptr_1, c_funptr_2)
type(c_funptr), intent(in) :: c_funptr_1 type(c_funptr), intent(in) :: c_funptr_1
type(c_funptr), intent(in), optional :: c_funptr_2 type(c_funptr), intent(in), optional :: c_funptr_2
if (c_funptr_1%__address == c_null_ptr%__address) then if (c_funptr_1%__address == c_null_ptr%__address) then
c_associated_c_funptr = .false. c_associated_c_funptr = .false.
else if (present(c_funptr_2)) then else if (present(c_funptr_2)) then
c_associated_c_funptr = c_funptr_1%__address == c_funptr_2%__address c_associated_c_funptr = c_funptr_1%__address == c_funptr_2%__address
else else
c_associated_c_funptr = .true. c_associated_c_funptr = .true.
Show All 12 Lines