Intel® Fortran Compiler
Build applications that can scale for the future with optimized code designed for Intel® Xeon® and compatible processors.
28632 Discussions

Does this error make sense? Intel_SSA

DavidWhite
Valued Contributor II
317 Views

Does the way Intel_SSA reports this make sense in a Fortran context? STREAM_ID is not size (1:9) nor is there an index 0:

CHARACTER(LEN=10) :: STREAM_ID

STREAM_ID=" "

ID  Type Sources  State Weight Category
P1  Bounds violation Write_Multi.f90  New 100 Buffer overflow
Write_Multi.f90(184): error #12048: buffer overflow: array index of "STREAM_ID" is outside the bounds; array "STREAM_ID" of size (1:9) is indexed by value 0

thanks

David

0 Kudos
3 Replies
Steven_L_Intel1
Employee
317 Views

No, this is a SA bug already reported.

0 Kudos
DavidWhite
Valued Contributor II
317 Views

Steve

Is SA actually a useable tool for Fortran? The number of false reports makes me think I am wasting my time using it.

e.g.

P12: Error: Unreachable statement
Spl3.f90(92): error #12192: unreachable statement
  X6: Unreachable code: C:\Open\kwc54dw\Dev\Winyldmd\trunk\ymd_main\Spl3.f90(92): Function SPL
  Code snippet:
   90      IF (SPLIT1==0D0) SPLIT1=1D0-SPLIT2
   91      IF (SPLIT1==0D0) SPLIT1=1D0
  >92      TSPLIT=SPLIT1+SPLIT2
 

Thanks,

David

0 Kudos
Steven_L_Intel1
Employee
317 Views

I find SA a sometimes-useful tool for Fortran. You do have to weed through a lot of false positives. I wish it were better, but I don't see that happening any time soon. That said, if you can put up with its noise, it can help you find problems you'd miss otherwise.

0 Kudos
Reply