JaroslavHavrda

Hi @AlexDenisov Yes, it is private codebase. I will try to create a reproducer, but please be patient with me. I am a bit overloaded right now.

[reproducer.zip](https://github.com/mull-project/mull/files/8948720/reproducer.zip) Command to build: cmake -DCMAKE_CXX_FLAGS="-O0 -fexperimental-new-pass-manager -fpass-plugin=/usr/lib/mull-ir-frontend-12 -g -grecord-command-line -fprofile-instr-generate -fcoverage-mapping" .. make

[kr2_rc_api.zip](https://github.com/mull-project/mull/files/8956806/kr2_rc_api.zip) Sorry this was my fuckup with using zip command in linux. I created the zipfile on windows and now it is not empty. I hope it is good now,

If not, I will just copy source files here.

Hmm. The reproducer works fine right now, whole codebase does not. There is something more I need to dig into.

I found some pointer -- seems that the problem disappeared when switching between vanilla cmake and catkin_make (http://wiki.ros.org/catkin/commands/catkin_make). We are moving away from catkin_make to vanilla cmake anyway, so I...