#
# Copyright (c) 2019-2020, Arm Limited. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#

#
# This file lists the source files that are expected to be excluded from
# Coverity's analysis, and the reason why.
#

# The expected format is an array of tuples (filename_pattern, description).
# - filename_pattern is a Python regular expression (as in the 're' module)
#   describing the file(s) to exclude.
# - description aims at providing the reason why the files are expected
#   to be excluded.
exclude_paths = [
    ("drivers/arm/cci400/cci400.c", "deprecated driver"),
    ("drivers/arm/gic/v3/arm_gicv3_common.c", "platform to exercise GIC-500/600 powerdown not available yet"),
    ("drivers/arm/tzc400/tzc400.c", "deprecated driver"),
    ("drivers/arm/tzc/tzc_common_private.c",
     "file included, actually indirectly analyzed"),
    ("drivers/arm/tzc/tzc_dmc500.c", "not used by any upstream platform"),

    ("drivers/io/io_dummy.c", "not used by any upstream platform"),
    ("drivers/partition/gpt.c", "not used by any upstream platform"),
    ("drivers/partition/partition.c", "not used by any upstream platform"),

    ("lib/aarch64/xlat_tables.c", "deprecated library code"),

    ("plat/arm/board/fvp/fconf/fconf_nt_config_getter.c", "Not currently used. Future functionality"),
    ("plat/arm/common/arm_tzc_dmc500.c", "not used by any upstream platform"),

    ("plat/mediatek/mt8173/plat_mt_gic.c", "deprecated code"),

    ("lib/aarch32/arm32_aeabi_divmod.c", "not used by any upstream platform"),

    # Waiting for the following patch to be available:
    # http://ssg-sw.cambridge.arm.com/gerrit/#/c/49862/
    ("plat/rockchip/rk3399/drivers/m0/.*",
     "work around the lack of support for the M0 compiler in the scripts"),

    ("tools/.*", "Host tools"),
    ("plat/qemu/sp_min/sp_min_setup.c", "not used in any upstream platform - see GENFW-2164")
]