Output of the following commands should be 1, not 0. gawk-4.0.1 works fine. $ printf '\x80' | LC_ALL=C gawk '/[\200-\377]/' | wc -l 0 $ printf '\x80' | LC_ALL=C gawk '/[\x80-\xFF]/' | wc -l 0 $
gawk-4.0.1-alt1 -> sisyphus: * Sun Sep 23 2012 Dmitry V. Levin <ldv@altlinux> 4.0.1-alt1 - Updated to gawk-4.0.1-39-g439d946 (closes: #27715).