Clang: need a GCC diagnostic push for every pop

2019-09-26 12:36:05 +02:00 · 2019-09-26 12:36:05 +02:00 · d557624469
parent 221320af47
commit d557624469
1 changed files with 1 additions and 0 deletions
--- a/repos/base-hw/src/core/kernel/cpu.h
+++ b/repos/base-hw/src/core/kernel/cpu.h
@ -69,6 +69,7 @@ namespace Kernel
 *   publicly provide via a 'typedef Genode::Cpu::Arch_regs Arch_regs'.
 *   Then, the 'Genode::Cpu' could be inherited privately.
 */
+#pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wnon-virtual-dtor"

 class Kernel::Cpu : public Genode::Cpu, private Irq::Pool, private Timeout