Alcornocal es una entidad de población española del municipio de Garcirrey, perteneciente a la provincia de Salamanca, en la comunidad autónoma de Castilla y León.

Hacia mediados del siglo XIX, el lugar, por entonces referido como una alquería agregada a Garcirrey, tenía contabilizada una población de nueve habitantes.

[1]​ Aparece descrito en el primer volumen del Diccionario geográfico-estadístico-histórico de España y sus posesiones de Ultramar de Pascual Madoz con las siguientes palabras:[1]​ En 2022, tenía empadronado un único habitante.

[2]​