Feature #6546
Updated by Evgeny Novikov over 8 years ago
GCC replaces When CIF applies aspects expressions like <pre>a "a == 0 && b == 0</pre> 0" are replaced by <pre>(a "(a | b) == 0</pre> 0". The latter expression cannot be processed properly by CPAchecker with default LDV ldv configuration which brings more false positives in results.