Package: adolc Version: 2.4.0-1 Usertags: goto-cc While building the package using our research compiler infrastructure we noticed that src/taping.c and src/drivers/odedrivers.c use inconsistent declarations of struct PersistantTapeInfos.
As both files access currentTapeInfos.pTapeInfos (of the above type), this may cause undefined behaviour. The root cause of the problem is that Makefile(.am) in drivers/ does not use the conditional SPARSE, and thus does not add a -DSPARSE=1, unlike src/Makefile(.am). Best, Michael
pgp22U7SEInrA.pgp
Description: PGP signature
