[PATCH] Fortran: simplify array constructors with typespec [PR93483, PR107216, PR107219]

2022-10-12 Thread Harald Anlauf via Fortran
Dear Fortranners, this one was really bugging me for quite some time. We failed to properly handle (= simplify) expressions using array constructors with typespec, and with parentheses and unary '+' and '-' sprinkled here and there. When there was no typespec, there was no related problem. The

Re: Question about Fortran bounds and -Wanalyzer-use-of-uninitialized-value

2022-10-12 Thread Harald Anlauf via Fortran
Hi Dave, Am 12.10.22 um 15:46 schrieb David Malcolm via Fortran: Sorry in advance if this is a silly question; my knowledge of Fortran is next to nothing, I'm afraid. PR analyzer/107210 reports an ICE in -fanalyzer on this reproducer: ! { dg-additional-options "-O1" } subroutine check_int (j

Question about Fortran bounds and -Wanalyzer-use-of-uninitialized-value

2022-10-12 Thread David Malcolm via Fortran
Sorry in advance if this is a silly question; my knowledge of Fortran is next to nothing, I'm afraid. PR analyzer/107210 reports an ICE in -fanalyzer on this reproducer: ! { dg-additional-options "-O1" } subroutine check_int (j) INTEGER(4) :: i, ia(5), ib(5,4), ip, ipa(:) target :: ib POI

Re: [PATCH] Fortran: check types of operands of arithmetic binary operations [PR107217]

2022-10-12 Thread Mikael Morin
Le 11/10/2022 à 22:23, Harald Anlauf via Fortran a écrit : Dear all, we need to check that the operands of arithmetic binary operations are consistent and of numeric type. The PR reported an issue for multiplication ("*"), but we better extend this to the other binary operations. I chose the f