https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90903
Bug ID: 90903
Summary: Implement runtime checks for bit manipulation
intrinsics
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: anlauf at gcc dot gnu.org
Target Milestone: ---
The Fortran standard imposes constraints on some arguments (e.g. SHIFT) on the
bit manipulation intrinsics (e.g. SHIFTR/SHIFTL/SHIFTA, ISHFT, IBSET/IBCLR).
There are compile-time checks, but so far no runtime checks.
It would be useful to have runtime check to catch undefined behavior.
This requires a new option, e.g. -fcheck=bits (analogous to what NAG provides).
