infer_clone

Commit Graph

Author	SHA1	Message	Date
Josh Berdine	63b57790f9	Fix indentation of multiline copyright comment Summary: public Lines other than the first of multi-line comments in non-ocaml files were flush right instead of aligned. Reviewed By: jvillard Differential Revision: D2739752 fb-gh-sync-id: c85f56e	9 years ago
Jules Villard	f07c7f9093	[infer] handle sentinel arguments in symb exec Summary: This adds a sentinel check every time a function carrying a sentinel attribute is called, regardless of whether we have a definition for that function or not.	10 years ago

Author

SHA1

Message

Date

Josh Berdine

63b57790f9

Fix indentation of multiline copyright comment

Summary:
public
Lines other than the first of multi-line comments in non-ocaml files
were flush right instead of aligned.

Reviewed By: jvillard

Differential Revision: D2739752

fb-gh-sync-id: c85f56e

Jules Villard

f07c7f9093

[infer] handle sentinel arguments in symb exec

Summary:
This adds a sentinel check every time a function carrying a sentinel attribute
is called, regardless of whether we have a definition for that function or not.

2 Commits (a509c9ca7ca70f1cdeda8592b7e77d1ad11f8b59)