This is a little script that can be run manually to try and detect ODR violations. It works by looking for weak symbols in .o files where the symbol has the same name and different sizes.
