compiler code verification

[umar janjua]

I am looking for some tools/frameworks that help in the
verification/validation of the code generated by the compiler. Though gcc
comes with a testsuite, but that only provides information whether the code
is generated or not( no info about the correctness of code itself: (if i am
not wrong here) ). 
How do I test or verify that the code which is successfully  compiled by the
compiler is also behaving correctly with respect to the semantics of the
source language ?
Any ideas or suggestions