get_real_absolute_state
state = get_real_absolute_state(expr);
struct smatch_state *get_real_absolute_state(struct expression *expr);
abs_state = get_real_absolute_state(expr);
state = get_real_absolute_state(expr);