[CIL users] A general question about compiler warnings

[Misha A. <av...@ho...>]

hi all,

  what is the statement regarding CIL and compiler warnings that are not
triggered in the original code, but that appear after the translation? I
am seeing some of these when trying to compile OpenSSL (it is triggering
-Wshadow for instance). Should I report those or is the warning
behaviour just something that the CIL translation doesn't aim to preserve?

Best,
  Misha