bpf: check_cond_jmp_op(): properly infer if register is null

{
                    "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": "befae75856ab406a3f3fab2aa2118cf3b2dfe3e6",
                            "lessThan": "d51cd486930f5bcfd4b55d55ab8e47b03f93d2ed",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "befae75856ab406a3f3fab2aa2118cf3b2dfe3e6",
                            "lessThan": "dfd8f8adda565e08c370c45cf9d6b2511ba9b5c6",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "befae75856ab406a3f3fab2aa2118cf3b2dfe3e6",
                            "lessThan": "9bf96b4347f541604b3caadeabda0773d9ceaf2a",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "befae75856ab406a3f3fab2aa2118cf3b2dfe3e6",
                            "lessThan": "b55c9f019e169ed0d01394f96e172286a8b21b99",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "befae75856ab406a3f3fab2aa2118cf3b2dfe3e6",
                            "lessThan": "d3ef6c097ba078e1f8c7239d76a0ce8b61e75095",
                            "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": "6.2",
                            "status": "affected"
                        },
                        {
                            "version": "0",
                            "lessThan": "6.2",
                            "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"
                        }
                    ]
                }