>>> On 06.02.19 at 15:09, <nmant...@amazon.de> wrote: > From: Norbert Manthey <nmant...@amazon.com> > > In the early steps of compilation, the asm header files are created, such > as include/asm-$(TARGET_ARCH)/asm-offsets.h. These files depend on the > assembly file arch/$(TARGET_ARCH)/asm-offsets.s, which is generated > before. Depending on the used toolchain, there might be comments in the > assembly files. Especially the goto-gcc compiler of the bounded model > checker CBMC adds comments that start with a '#' symbol at the beginning > of the line. > > This commit adds handling comments in assembler during the creation of the > asm header files, especially ignoring lines that start with '#', which > indicate comments for both ARM and x86 assembler. The used tool goto-as > produces exactly comments of this kind. > > Signed-off-by: Norbert Manthey <nmant...@amazon.de> > Signed-off-by: Michael Tautschnig <tauts...@amazon.co.uk>
Reviewed-by: Jan Beulich <jbeul...@suse.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
