search for: d44154

...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://reviews.llvm.org/D44154 > We are currently having two confirmed mentors for the Analyzer for now > (me and George), so we'd most likely be able to mentor one student each, > for two projects, and it'd likely be the two projects we proposed - > unless someone proposes something really interesting. A...

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