You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard 8715c4f892 [clang] make switch statement translation more robust ... Summary: Labels inside switch statements were causing havoc (see test), and the translation of switch statements in general could be improved to handle more cases. It turns out that `case` (and `default`) statements are more or less fancy labels into the code. In other words, if you erase all the `case XXX:` and `default:` strings in the `switch` statement you get the real structure of the program, and `switch` just jumps straight to the first `case` directives (and to the second if the first one is not satisfied, etc. until all `case`/`default` have been considered). This suggests an alternative implementation: translate the body of the `switch` and simply record the list of switch cases inside that body, along with where they point to. Then post-process this list to construct the control flow of the `switch`, which points into the control-flow of the `body`. In order not to modify every function in `CTrans` to propagate the current list of cases, I created an ugly `ref` inside `SwitchCase` instead (but it cannot be directly accessed and it's guaranteed to be well-parenthesised wrt nested switches by the `SwitchCase` API so it's not too bad). [unrelated] Also make translation failures output more information about what exactly in the source code is causing the crash, and the ancestors in the AST that lead to the crash site. Reviewed By: martinoluca Differential Revision: D8011046 fbshipit-source-id: 8455090		7 years ago
..
bufferoverrun	[inferbo] do not include location information in the bug description	7 years ago
conflicts	[biabduction] Support finding skip reasons from attributes for clang too	7 years ago
errors	[biabduction] Support finding skip reasons from attributes for clang too	7 years ago
frontend	[clang] make switch statement translation more robust	7 years ago
linters-for-test-only	Added predicate for C++ copy constructors	7 years ago
liveness	[clang] basic support for exceptional control-flow	7 years ago
nullable	change clang translation to track if_kind (i.e. the type of prune node)	7 years ago
ownership	[ownership] tests for pointer arithmetic	7 years ago
quandary	[quandary] de-prioritize command line flag sources	7 years ago
racerd	[racerd] switch to external issue logs	7 years ago
shared	[clang] make switch statement translation more robust	7 years ago
siof	[infer][PR] Fix spelling errors	7 years ago
uninit	[uninit] Check the type of whole lhs rather than the base of lhs	7 years ago