PHP - Notice: Undefined index

$rol = isset($_SESSION['rol']) ? $_SESSION['rol'] : '';

if (empty($rol) {

    header('Location: /login.php');

    exit();

}

// aquí el resto del código

...

<?php

    function validateUser($rolPermitido){

        session_start();

        $rol = isset($_SESSION['rol']) ? $_SESSION['rol'] : '';

        #SI NO EXISTE UNA SESION, SE ENVIARA AL LOGIN

        if(empty($rol)){

            session_destroy();

            if ($rolPermitido != "login"){

                header("Location: /login.php");

            }

        }

        //SE VERIFICA QUE EL ROL DEL USUARIO ACTUAL TENGA PERMISO DE ACCEDER A LA PANTALLA

        //DE LO CONTRARIO ES REDIRIGIDO AL MODULO QUE TIENE PERMISO

        if ($rolPermitido != "login"){

            if(strtolower($rol)!=strtolower($rolPermitido)){

                header("Location: /php/redireccion.php");

            }

        }

    }

?>

if (!isset($_SESSION)) {

    session_start();

}