From 0dfecfa8c5b1ad52df48a226e27fcb7e42837ad8 Mon Sep 17 00:00:00 2001 From: Jean Perier Date: Fri, 24 May 2019 08:22:11 -0700 Subject: [PATCH] [flang] Add semantic error test for integer constant containing division by zero Original-commit: flang-compiler/f18@650cfac5397236373e3f8c4ca7a1e15e6f33e0a4 Reviewed-on: https://github.com/flang-compiler/f18/pull/468 --- flang/test/semantics/resolve37.f90 | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/flang/test/semantics/resolve37.f90 b/flang/test/semantics/resolve37.f90 index 4cb3221..58fd433 100644 --- a/flang/test/semantics/resolve37.f90 +++ b/flang/test/semantics/resolve37.f90 @@ -35,4 +35,13 @@ real :: u(l*2) character(len=l) :: v !ERROR: Initialization expression for PARAMETER 'o' (o) cannot be computed as a constant value real, parameter :: o = o +!ERROR: Must be a constant value +integer, parameter :: p = 0/0 +!ERROR: Must be a constant value +integer, parameter :: q = 1+2*(1/0) +!ERROR: Must be a constant value +integer(kind=2/0) r +integer, parameter :: sok(:)=[1,2]/[1,2] +!ERROR: Must be a constant value +integer, parameter :: snok(:)=[1,2]/[1,0] end -- 2.7.4