Roman Ivanov
Roman Ivanov
@Rohanraj123, do you have time to continue now? Or we can close it for now and you will reopen it when you have time to continue it.
for now this PR is blocked by https://github.com/typetools/checker-framework/issues/6702
Yes, please make code compile able.
No, add/Remove is super hack, looks like we need to go deeper in plugin that failing on such syntax.
we lost energy in this PR, I closing it, we will be back to it one day in future.
unfortunately this is conner cases. It is hard to maintain all variation of them. Cases like following is hard to analyse, to make it worse imagine that TRUE is defined...
> We still have to examine for breaks inside the infinite loops, but we should already be handling that. this is additional bag of problems and nuances, we will never...
@cushon, >I don't have any open source code I can point to Can you provide chunk of code with abfuscation to not reveal any secret ? >but we've run into...
Moving to function is good alternative but it will not always be good approach. Looks like such code is reasonable to appear in very optimized code (in favor of CPU...
``` /var/tmp/cs $ cat -n TestClass.java 1 class TestClass { 2 void main(int i) { 3 switch (i) { 4 case -1: 5 //return; 6 case 0: 7 print(i); 8...