比较已释放的指针是否会调用 UB？

这似乎是一种相当常见的模式，例如在 hexchat 中（可能无法编译，另请参阅插件文档。另请注意hexchat_plugin_get_info一直没有被使用，所以为了简单起见我省略了它）：

static hexchat_plugin *ph;
static int timer_cb(void *userdata) {
    if (hexchat_set_context(ph, userdata)) { /* <-- is this line UB? */
        /* omitted */
    }
    return 0;
}
static int do_ub(char *word[], char *word_eol[], void *userdata) {
    void *context = hexchat_get_context(ph);
    hexchat_hook_timer(ph, 1000, timer_cb, context);
    hexchat_command(ph, "close"); /* free the context - in practice this would be done by another plugin or by the user, not like this, but for the purposes of this example this simulates the user closing the context. */
    return HEXCHAT_EAT_ALL;
}
int hexchat_plugin_init(hexchat_plugin *plugin_handle, char **plugin_name, char **plugin_desc, char **plugin_version, char *arg) {
    *plugin_name = "do_ub";
    *plugin_desc = "does ub when you /do_ub";
    *plugin_version = "1.0.0";
    ph = plugin_handle;
    /* etc */
    hexchat_hook_command(ph, "do_ub", 0, do_ub, "does UB", NULL);
    return 1;
}

该行在timer_cb导致 hexchat 比较 (在本例中可能已释放 - 绝对已释放，请参阅中的评论do_ub) 与另一个指针的指针，如果您遵循 from这里（plugin.c#L1089，hexchat_set_context）你最终会在这里（hexchat.c#L191，is_session）。要调用此代码，请运行/do_ub在十六进制聊天中。

相关代码：

int
hexchat_set_context (hexchat_plugin *ph, hexchat_context *context)
{
    if (is_session (context))
    {
        ph->context = context;
        return 1;
    }
    return 0;
}

int
is_session (session * sess)
{
    return g_slist_find (sess_list, sess) ? 1 : 0;
}

这是UB的事情吗？

在它指向的对象到达其生命周期结束后使用指针的值是不定如中所述C11标准草案6.2.4p2（对象的存储期限）（重点是我的）：

对象的生命周期是程序执行期间的部分 保证为其保留哪个存储空间。一个物体存在， 有一个常量地址，并保留其最后存储的值 在其整个生命周期中。如果一个对象在其外部被引用 生命周期，行为是未定义的。指针的值变为 不定当它指向（或刚刚过去）的对象到达 其生命周期结束。

使用它的价值（只是为了任何东西）是一个明确的未定义的行为如中所述附件J.2（未定义的行为）：

在以下情况下，该行为未定义：[...] 使用指向生命周期已结束的对象的指针的值 (6.2.4)。