Our Man,
thanks for the heads-up. I don't necessarily use Google Earth or Maps as my precision measuring instrument, but if one trusts it then that tarmac beyond the displaced threshold for 17R indeed seems to be included in the LDA for 35L.
[Comment added in editing] The JeppView Congonhas chart says that for landing 35L beyond the threshold there is 6168 ft / 1880 m usable length. The scale on the chart confirms this, as do measurements according to the scale on the Airport Description Chart available from
http://www.flyvba.com.br
Your point about conformance with the ICAO Annex 14 is well taken!
PBL