As usually, when changing #include's in ubsan.c, I forgot to adjust Makefile.in as well. Thus fixed now.
Applying to the ubsan branch. 2013-08-28 Marek Polacek <pola...@redhat.com> * Makefile.in (ubsan.o): Add pointer-set.h dependency. Remove alloc-pool.h and HASH_TABLE_H dependencies. --- gcc/Makefile.in.mp 2013-08-28 14:30:28.537813780 +0200 +++ gcc/Makefile.in 2013-08-28 14:30:33.498831590 +0200 @@ -2273,7 +2273,7 @@ tsan.o : $(CONFIG_H) $(SYSTEM_H) $(TREE_ intl.h cfghooks.h output.h options.h $(C_COMMON_H) tsan.h asan.h \ tree-ssa-propagate.h ubsan.o : ubsan.c ubsan.h $(CONFIG_H) $(SYSTEM_H) $(GIMPLE_H) \ - output.h coretypes.h $(TREE_H) alloc-pool.h $(CGRAPH_H) $(HASH_TABLE_H) \ + output.h coretypes.h $(TREE_H) $(CGRAPH_H) pointer-set.h \ toplev.h $(C_COMMON_H) tree-ssa-tail-merge.o: tree-ssa-tail-merge.c \ $(SYSTEM_H) $(CONFIG_H) coretypes.h $(TM_H) $(BITMAP_H) \ Marek