Does anyone know exactly where on IRS Tax form 1040 (and whatever schedules and other forms are needed) a US citizen needs to report Income taxes paid to Spain from US retirement (passive income) sources? I understand that most US expats in Spain do their Spanish taxes first and then claim credit for the taxes paid to Spain against their US tax obligations in order to avoid double taxation as per the Tax treaty.