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.

Andrzej Kotulski 76203aa847 [Frontend][C++] Add translation for static cast ... Summary: @public Translate CXXStaticCastExpr Test Plan: Add test, confirm that it gets translated. Also create example to see that infer reports null dereference with this change: struct X { int a; }; int main() { X *x = static_cast<X*>(nullptr); // <- reports now //X *x = (X*)nullptr; // <- reported before return x->a; }		10 years ago
..
annotations	initial synchronization	10 years ago
bin	Don't add buckets to error message by default	10 years ago
lib	[infer][models] Fixing InferAssume	10 years ago
models	[infer][java] handle int boxing in HashMap model	10 years ago
src	[Frontend][C++] Add translation for static cast	10 years ago
tests	[Frontend][C++] Add translation for static cast	10 years ago
.merlin	initial synchronization	10 years ago
.project	initial synchronization	10 years ago
Makefile	initial synchronization	10 years ago