set_real_absolute
void set_real_absolute(struct expression *expr, struct smatch_state *state);
set_real_absolute(expr, state);