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
Josh Berdine	d66261a1f4	Do not reuse Undef function values Summary: Change eradicate handling of complex values so that an unknown function that has an existing mapping to Undef is treated as if there was no existing mapping. Without this change, joining control-flow branches where one called a function and the other did not resulted in a mapping to Undef. Later calls to the function would then reuse the Undef mapping. public Reviewed By: cristianoc Differential Revision: D2695548 fb-gh-sync-id: ab69c47	9 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

Josh Berdine

d66261a1f4

Do not reuse Undef function values

Summary:
Change eradicate handling of complex values so that an unknown function that
has an existing mapping to Undef is treated as if there was no existing
mapping.

Without this change, joining control-flow branches where one called a function
and the other did not resulted in a mapping to Undef. Later calls to the
function would then reuse the Undef mapping.

public

Reviewed By: cristianoc

Differential Revision: D2695548

fb-gh-sync-id: ab69c47

2 Commits (a8ba910c69bb321c115f5ed6cf4775dd26416482)