[Bug fortran/90903] Implement runtime checks for bit manipulation intrinsics

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90903

--- Comment #2 from anlauf at gcc dot gnu.org ---
Author: anlauf
Date: Tue Jul 16 19:58:15 2019
New Revision: 273535

URL: https://gcc.gnu.org/viewcvs?rev=273535&root=gcc&view=rev
Log:
2019-07-16  Harald Anlauf  <anl...@gmx.de>

        PR fortran/90903
        * libgfortran.h: Add mask for -fcheck=bits option.
        * options.c (gfc_handle_runtime_check_option): Add option "bits"
        to run-time checks selectable via -fcheck.
        * trans-intrinsic.c (gfc_conv_intrinsic_btest)
        (gfc_conv_intrinsic_singlebitop, gfc_conv_intrinsic_ibits)
        (gfc_conv_intrinsic_shift, gfc_conv_intrinsic_ishft)
        (gfc_conv_intrinsic_ishftc): Implement run-time checks for the
        POS, LEN, SHIFT, and SIZE arguments.
        * gfortran.texi: Document run-time checks for bit manipulation
        intrinsics.
        * invoke.texi: Document new -fcheck=bits option.

        PR fortran/90903
        * gfortran.dg/check_bits_1.f90: New testcase.

Added:
    trunk/gcc/testsuite/gfortran.dg/check_bits_1.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/gfortran.texi
    trunk/gcc/fortran/invoke.texi
    trunk/gcc/fortran/libgfortran.h
    trunk/gcc/fortran/options.c
    trunk/gcc/fortran/trans-intrinsic.c
    trunk/gcc/testsuite/ChangeLog