[analyzer] Treat more const variables and fields as known contants.
When loading from a variable or a field that is declared as constant,
the analyzer will try to inspect its initializer and constant-fold it.
Upon success, the analyzer would skip normal load and return the respective
The new behavior also applies to fields/elements of brace-initialized structures
Patch by Rafael Stahl!
Differential Revision: https://reviews.llvm.org/D45774