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.

Sign up for GitHub

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

Jump to bottom

[flang][Fortran 2003] unimplemented semantic checks: type bound procedure 1 #55811

Closed
PeixinQiao opened this issue Jun 1, 2022 · 5 comments
Closed

[flang][Fortran 2003] unimplemented semantic checks: type bound procedure 1 #55811

PeixinQiao opened this issue Jun 1, 2022 · 5 comments
Assignees
@PeixinQiao
Labels
flang:frontend

Comments

@PeixinQiao
Copy link
Contributor

PeixinQiao commented Jun 1, 2022 •
edited 

subroutine s()
  interface
    function real_info1(i)
    end
    subroutine real_info2()
    end
  end interface
  type mt
   contains
    procedure, nopass :: info1 => real_info1
    procedure, nopass :: info2 => real_info2
  end type
  type mt2
    type(mt) :: t1(2)
  end type
  type mt3
    type(mt2) :: t2(2)
  end type
  type mt4
    type(mt3) :: t3(2)
  end type
  type(mt4) :: t(2)

  call sub0(t%t3%t2%t1%info1(i))
  call t%t3%t2%t1%info2
end

Expect: Two or more part references with nonzero rank must not be specified
@PeixinQiao PeixinQiao self-assigned this Jun 1, 2022
@PeixinQiao
Copy link
Contributor Author

@klausler Please feel free to take up some of these if you have time.

I will add more details about these four features later.

@llvmbot
Copy link
Collaborator

llvmbot commented Jun 1, 2022

@llvm/issue-subscribers-flang-frontend

@PeixinQiao PeixinQiao changed the title [flang][Fortran 2003] unimplemented semantic checks: type bound procedure [flang][Fortran 2003] unimplemented semantic checks: type bound procedure 1 Jun 2, 2022
@PeixinQiao
Copy link
Contributor Author

Change this issue for one case. Extract other two scenarios into #55825 and #55826.

Temprorily assign this to myself. Please feel free to take up this when anyone has time to do it. I will say here if I start working on this.

@PeixinQiao
Copy link
Contributor Author

https://reviews.llvm.org/D127602

PeixinQiao added a commit that referenced this issue Jun 14, 2022
@PeixinQiao
[flang] Add semantic check for multiple part-ref with nonzero rank fo…
c6d8aa2 
…r TBP

As Fortran 2018 C919, there shall not be more than one part-ref with
nonzero rank. Support this semantic check for type-bound procedure to
address the issue #55811.

Reviewed By: klausler

Differential Revision: https://reviews.llvm.org/D127602
@PeixinQiao
Copy link
Contributor Author

Done.

clementval pushed a commit to clementval/llvm-project that referenced this issue Jun 16, 2022
@PeixinQiao @vdonaldson
[flang] Add semantic check for multiple part-ref with nonzero rank fo…
d519f7b 
…r TBP

As Fortran 2018 C919, there shall not be more than one part-ref with
nonzero rank. Support this semantic check for type-bound procedure to
address the issue llvm#55811.

Reviewed By: klausler

Differential Revision: https://reviews.llvm.org/D127602
mem-frob pushed a commit to draperlaboratory/hope-llvm-project that referenced this issue Oct 7, 2022
@PeixinQiao
[flang] Add semantic check for multiple part-ref with nonzero rank fo…
d93a591 
…r TBP

As Fortran 2018 C919, there shall not be more than one part-ref with
nonzero rank. Support this semantic check for type-bound procedure to
address the issue llvm/llvm-project#55811.

Reviewed By: klausler

Differential Revision: https://reviews.llvm.org/D127602
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@PeixinQiao PeixinQiao

Labels
flang:frontend
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@EugeneZelenko @llvmbot @PeixinQiao