infer_clone

Author	SHA1	Message	Date
Andrzej Kotulski	4584f7f6fc	[clang-format] Reformat all c/cpp/objc sources with clang-format Reviewed By: jul Differential Revision: https://phabricator.fb.com/D2953843	9 years ago
Dulma Rodriguez	de1a627335	Translate enums as ints and not add them to the tenv Summary: public This diff changes the way we treat enums in Infer. 1. The semantics of the translation is now correct, it was a bit incorrect before. 2. We don't add the enum types to the tenv anymore, which saves a lot of disk space and avoids errors in the backend dealing with the enum type. Reviewed By: akotulski Differential Revision: D2641903 fb-gh-sync-id: 6295e5f	9 years ago
Dulma Rodriguez	ba00f08f00	Remove variable resolution and use pointers to declarations instead Summary: @public This removes the old way of finding variable declarations to create sil variables and replaces it with a a new way based on the map from pointers to declarations. Basically, every variable dereference contains a pointer to the variable declaration, with that we can build the corresponding sil variable. Reviewed By: @akotulski Differential Revision: D2536000 fb-gh-sync-id: dd29cf9	10 years ago
Andrzej Kotulski	7ac5a5c308	Refactor C frontend tests Reviewed By: @dulmarod Differential Revision: D2521747 fb-gh-sync-id: 1be8d21	10 years ago