bpf: mark a NULL call argument precise

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "unaffected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "kernel/bpf/verifier.c",
                        "tools/testing/selftests/bpf/progs/verifier_subprog_precision.c"
                    ],
                    "versions": [
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "febbb66e682d8328f7c5bcbdd5e4291abab2e858",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "627089c278df58749f25686c6a3caf7e181b5951",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "b1fe6379e401b8ce0f561cb4d84af2b70b4343c3",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "69a9ad004ccf5d45e534c7d503f47f643abe64b7",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "1a3a10b030c96ea88868ccc060a16827c01eaa5a",
                            "status": "affected",
                            "versionType": "git"
                        }
                    ]
                }

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "affected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "kernel/bpf/verifier.c",
                        "tools/testing/selftests/bpf/progs/verifier_subprog_precision.c"
                    ],
                    "versions": [
                        {
                            "version": "5.3",
                            "status": "affected"
                        },
                        {
                            "version": "0",
                            "lessThan": "5.3",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.6.160",
                            "lessThanOrEqual": "6.6.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.12.114",
                            "lessThanOrEqual": "6.12.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.18.57",
                            "lessThanOrEqual": "6.18.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "7.2.7",
                            "lessThanOrEqual": "7.2.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "7.3",
                            "lessThanOrEqual": "*",
                            "status": "unaffected",
                            "versionType": "original_commit_for_fix"
                        }
                    ]
                }