| ##===- TEST.typesafe.Makefile ------------------------------*- Makefile -*-===## | |
| # | |
| # This test simply checks to see if programs are typesafe according to the | |
| # -unsafepointertypes analysis. | |
| # | |
| ##===----------------------------------------------------------------------===## | |
| $(PROGRAMS_TO_TEST:%=test.$(TEST).%): \ | |
| test.$(TEST).%: Output/%.llvm.bc | |
| $(LANALYZE) -unsafepointertypes $< | |