1  void inline set_mem_alias_set ()  __attribute__ ((always_inline, gnu_inline));
       2  void emit_push_insn () {
       3    set_mem_alias_set ();
       4  }