infer_clone

Commit Graph

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Josh Berdine	5c3c89a964	[sledge] Add definitions to llair_intrinsics for assert Summary: This diff `#define`s the functions to which `assert` compiles to `abort`. This enables the analyzer to report assertion violations, and is independent of platform. Also add a simple test to check that it is detected correctly. Reviewed By: ngorogiannis Differential Revision: D27564870 fbshipit-source-id: 5517ca910	4 years ago

Author

SHA1

Message

Date

markma

f8dfc1ce1f

0.0.1

markma

09fba4a0b5

0.0.1

Josh Berdine

5c3c89a964

[sledge] Add definitions to llair_intrinsics for assert

Summary:
This diff `#define`s the functions to which `assert` compiles to
`abort`. This enables the analyzer to report assertion violations, and
is independent of platform.

Also add a simple test to check that it is detected correctly.

Reviewed By: ngorogiannis

Differential Revision: D27564870

fbshipit-source-id: 5517ca910

3 Commits (master)