Bah, tu peux installer ktigcc-debuginfo et mettre des breakpoints avec GDB. Mais ça risque de changer le timing et donc de faire magiquement disparaître le problème.
Sinon il faut que je compile une version spéciale de KTIGCC avec des messages de débogage sur la console. Il n'y a rien du tout prévu pour logguer parce que c'est censé toujours marcher.