From: burnus Date: Fri, 21 Sep 2007 10:21:29 +0000 (+0000) Subject: 2007-09-21 Tobias Burnus X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a227604ce8dfd3335bb3e6c939aa9e1035abbe35;p=thirdparty%2Fgcc.git 2007-09-21 Tobias Burnus PR fortran/33037 * simplify.c (gfc_simplify_transfer): Warn if source size is smaller than result size. 2007-09-21 Tobias Burnus PR fortran/33037 * gfortran.dg/transfer_check_1.f90: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128646 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index e9030900eba8..def238f35314 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,7 +1,13 @@ +2007-09-21 Tobias Burnus + + PR fortran/33037 + * simplify.c (gfc_simplify_transfer): Warn if source size + is smaller than result size. + 2007-09-20 Asher Langton PR fortran/20441 - * gfortran.h : Add init_local_* enums and init_flag_* flags to + * gfortran.h : Add init_local_* enums and init_flag_* flags to gfc_option_t. * lang.opt: Add -finit-local-zero, -finit-real, -finit-integer, -finit-character, and -finit-logical flags. diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c index 3fa52500344a..e581a21603bd 100644 --- a/gcc/fortran/simplify.c +++ b/gcc/fortran/simplify.c @@ -4059,6 +4059,11 @@ gfc_simplify_transfer (gfc_expr *source, gfc_expr *mold, gfc_expr *size) result_size = result_elt_size; } + if (source_size < result_size) + gfc_warning("Intrinsic TRANSFER at %L has partly undefined result: " + "source size %ld < result size %ld", &source->where, + (long) source_size, (long) result_size); + /* Allocate the buffer to store the binary version of the source. */ buffer_size = MAX (source_size, result_size); buffer = (unsigned char*)alloca (buffer_size); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index dd889ff6952e..29b0c26a033a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-09-21 Tobias Burnus + + PR fortran/33037 + * gfortran.dg/transfer_check_1.f90: New. + 2007-09-20 Asher Langton PR fortran/20441 diff --git a/gcc/testsuite/gfortran.dg/transfer_check_1.f90 b/gcc/testsuite/gfortran.dg/transfer_check_1.f90 new file mode 100644 index 000000000000..26945267d1db --- /dev/null +++ b/gcc/testsuite/gfortran.dg/transfer_check_1.f90 @@ -0,0 +1,8 @@ +! { dg-do compile } +! PR fortran/33037 +! +print *, transfer('x', 0, 20) ! { dg-warning "has partly undefined result" } +print *, transfer(1_1, 0) ! { dg-warning "has partly undefined result" } +print *, transfer([1_2,2_2], 0) +print *, transfer([1_2,2_2], 0_8) ! { dg-warning "has partly undefined result" } +end