search for: d44093

...Please keep in mind that it was for me a proof of concept, and I didn't have in mind to purpose this patch at the time I was developping it (and didn't have the time to improve it for the moment, as I am currently working on a structure pretty printing builtin - https://reviews.llvm.org/D44093). For the moment, this checker is not able to detect all the unsequenced modifications, but can detect things like this : ```c static int a = 0; int foo(void) { return a++; } int main(void) { int res = a++ + foo(); return res; } ``` So here is the link on Phabricator : https://review...

Hey, welcome! I'm curious about the unsequenced modification checker, is it something that I should have seen but missed for whatever reason? It might be useful, and I think I'm seeing why don't compiler warnings cover all cases, i.e. why the analyzer's path sensitivity would help here. But I can't answer until I see it :) -eg. on our Phabricator. We are currently having