Function CrossCheckTuple

src/backend/utils/cache/catcache.c:1139–1184

* This function performs checks for certain system tables to validate tuple * fetched from table has the key, using which it was fetched from index. */

 * fetched from table has the key, using which it was fetched from index.
 */
static void
CrossCheckTuple(int cacheId,
		Datum key1,
		Datum key2,
		Datum key3,
		Datum key4,
		HeapTuple tuple)
{
	Form_pg_class rd_rel;
	Form_pg_type rd_type;

	switch (cacheId)
	{
		case RELOID:
			rd_rel = (Form_pg_class) GETSTRUCT(tuple);
			if (rd_rel->oid != DatumGetObjectId(key1))
			{
				elog(ERROR, "pg_class_oid_index is broken, oid=%d is pointing to tuple with oid=%d (xmin:%u xmax:%u)",
					 DatumGetObjectId(key1), rd_rel->oid,
					 HeapTupleHeaderGetXmin((tuple)->t_data),
					 HeapTupleHeaderGetRawXmax((tuple)->t_data));
			}
			break;
		case RELNAMENSP:
			rd_rel = (Form_pg_class) GETSTRUCT(tuple);
			if (strncmp(rd_rel->relname.data, DatumGetCString(key1), NAMEDATALEN) != 0)
			{
				elog(ERROR, "pg_class_relname_nsp_index is broken, intended tuple with name \"%s\" fetched \"%s\""
					 " (xmin:%u xmax:%u)",
					 DatumGetCString(key1), rd_rel->relname.data,
					 HeapTupleHeaderGetXmin((tuple)->t_data),
					 HeapTupleHeaderGetRawXmax((tuple)->t_data));
			}
			break;
		case TYPEOID:
			rd_type = (Form_pg_type) GETSTRUCT(tuple);
			if (rd_type->oid != DatumGetObjectId(key1))
			{
				elog(ERROR, "pg_type_oid_index is broken, oid=%d is pointing to tuple with oid=%d (xmin:%u xmax:%u)",
					 DatumGetObjectId(key1), rd_type->oid,
					 HeapTupleHeaderGetXmin((tuple)->t_data),
					 HeapTupleHeaderGetRawXmax((tuple)->t_data));
			}
			break;
	}
}

/*
 *	SearchCatCache