Fault injection not working on some sigma examples when after O2 optimization

[rollrat]

#include <stdio.h>
| 2
.. (up a dir) | 3 extern void __marking_faultinject_ptr(int*);
</llvm-7.0.1.src/build/bin/ | 4
a.c | 5 int main(int argc, char argv[]) {
a.ll | 6 int a,b;
a.out | 7 __marking_faultinject_ptr(&b);
b.c | 8 for (a = 0; a < argc; a++)
b.ll | 9 {
bubble.c | 10 b+=a;
c.ll | 11 }
llvm-lit* | 12 printf("%d", b);
llvm-tblgen* | 13 }
opt* |~

[rollrat]

If selected variable is not initialization before faultinjection marker function call, this procedure raise an skipping bug when O2 optimization.