2015-07-27 19:04:31 +02:00
|
|
|
extern void abort (void);
|
|
|
|
|
|
|
|
/* Since GCC 5 folds symbol address comparison, assuming each symbol has
|
|
|
|
different address, &foo == &bar is always false for GCC 5. Use
|
2017-02-16 12:49:10 +01:00
|
|
|
check_ptr_eq to check if two functions are the same. */
|
2015-07-27 19:04:31 +02:00
|
|
|
|
|
|
|
void
|
2017-02-16 12:49:10 +01:00
|
|
|
check_ptr_eq (void (*f1) (void), void (*f2) (void))
|
2015-07-27 19:04:31 +02:00
|
|
|
{
|
2017-02-16 12:49:10 +01:00
|
|
|
if (f1 != f2)
|
2015-07-27 19:04:31 +02:00
|
|
|
abort ();
|
|
|
|
}
|