int use_params(int * p1,                             // ok: p1 is modified
               int * p2,             // 'Variable Could Be const' warning issued here
               int * const p3){                      // ok: unmodified parameter marked const
    if (!p1 || !p2 || !p3) {return -1;}
    p1 = p2;                                         // p1 is modified here
    *p2 = 2;                                         // *p2 is modified here, but p2 is not modified
    return *p1 + *p2 + *p3;
}

constexpr int five(void) {return 5;}

int use_locals(const int k){                         // ok: unmodified parameter marked const
    int a = five();                   // 'Variable Could Be const' warning issued here
    const int b = five();                            // ok: unmodified local marked const
    constexpr int c = five();                        // ok: unmodified local marked constexpr
    int d = five();                                  // ok: local modified on some paths
    if (k){
        d++;
    }
    return a + b + c + d;
}