hangy

To be honest, I think that the <pre>-tag itself has no specific semantic meaning, but just the information that the text is preformatted and should be shown as it was entered in the markup.
So <pre> is semantically irrelevant, thus <pre><code>…</code></pre>, as partly suggested e. g. by HTML Dog, might be the best way to mark-up code.