bpf: Don't infer non-NULL from a pointer with an unbounded offset

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "unaffected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "kernel/bpf/verifier.c"
                    ],
                    "versions": [
                        {
                            "version": "cac616db39c207dc63465a4e05c6ce0e60b2cce4",
                            "lessThan": "8b414dbe97fcefd116e5a620c3bd9993014aa4ce",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "cac616db39c207dc63465a4e05c6ce0e60b2cce4",
                            "lessThan": "019d845a08b8ccfe8eefaaf4bca6870f2b8c58ae",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "cac616db39c207dc63465a4e05c6ce0e60b2cce4",
                            "lessThan": "65bea674f43c09c0eda033a140dfac6a2842a19f",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "cac616db39c207dc63465a4e05c6ce0e60b2cce4",
                            "lessThan": "cb6642048739bf4ee5aa09fe465511f1e87caa63",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "cac616db39c207dc63465a4e05c6ce0e60b2cce4",
                            "lessThan": "67b529f521a6676cdfc78b91b0217d7eaa84216b",
                            "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"
                    ],
                    "versions": [
                        {
                            "version": "5.8",
                            "status": "affected"
                        },
                        {
                            "version": "0",
                            "lessThan": "5.8",
                            "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"
                        }
                    ]
                }