Optimization for pure vs. const function

Question

The source code I use in this post, is also available here: https://gcc.godbolt.org/z/dGvxnv

Given this C source code:

int pure_f(int a, int b) __attribute