intel / intel-ipsec-mb

Intel(R) Multi-Buffer Crypto for IPSec
BSD 3-Clause "New" or "Revised" License
292 stars 88 forks source link

deadcode warnings in perf/ipsec_perf.c #78

Closed ColinIanKing closed 3 years ago

ColinIanKing commented 3 years ago

Again, maybe intentional or a false positive, but I'm seeing static analysis warnings in perf/ipsec_perf.c

2381                for (arch = 0; arch < NUM_ARCHS; arch++) {
2382                        if (archs[arch] == 0)
2383                                continue;
2384
    between: When switching on arch, the value of arch must be between 0 and 3.
    dead_error_condition: The switch governing value arch cannot reach the default case.
2385                        switch (arch) {
2386                        case 0:
2387                                init_mb_mgr_sse(p_mgr);
2388                                break;
2389                        case 1:
2390                                init_mb_mgr_avx(p_mgr);
2391                                break;
    equality_cond: Jumping to case 2U.
2392                        case 2:
2393                                init_mb_mgr_avx2(p_mgr);
2394                                break;
    CID 113766 (#1 of 1): Dead default in switch (DEADCODE)dead_error_line: Execution cannot reach this statement: default:.
2395                        default:
2396                        case 3:
2397                                init_mb_mgr_avx512(p_mgr);
2398                                break;
2399                        }
tkanteck commented 3 years ago

seems that case 3: can be removed in this switch