Otro "parche" que puedes usar es guardar la variable en otra variable de sesion, justo antes de "validar" a tu usuario, por decir en este codigo:
Código PHP:
echo"gcod_bus:$_GET[cod_bus]";
$_SESSION['cod_bus'] = $_GET['cod_bus'];
echo "<FORM name='formul' method='post' action='aut_modificar_empresa.php?'>";
echo " <input type=hidden name='cod_bus' value=$_GET[cod_bus]>";
Asi una vez que haz verificado y validado tu usuario regresas el valor desde $_SESSION['cod_bus'].