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.

Sam Blackshear 30a7a2fd8e Fixing Symexec_memory error that occurs when dereferencing the return value of an undefined function ... Summary: @​public Infer previously did not work correctly when a function returns the result of a skip function: ``` retUndef() { x = undefined(); return x; } derefUndef() { y = retUndef(); y.doSomething(); // Symexec_memory_error here, prevents spec inference } ``` The problem is that angelic mode did not know to add the return value of `retUndef()` to the footprint. This diff fixes the problem by adding return values marked with the `Aundef` attribute to the footprint. This is done lazily (e.g., a value only gets added to the footprint when you try to deref it). Reviewed By: @jvillard Differential Revision: D2444929		9 years ago
..
.idea	initial synchronization	10 years ago
codetoanalyze	Fixing Symexec_memory error that occurs when dereferencing the return value of an undefined function	9 years ago
endtoend	Fixing Symexec_memory error that occurs when dereferencing the return value of an undefined function	9 years ago
frontend	Skip some frontend tests when xcode version doesn't match	9 years ago
utils	Adding makefile generation time to the infer toplevel script	9 years ago
BUCK	initial synchronization	10 years ago
Makefile	[infer][models] Fixing InferAssume	10 years ago
build.xml	[infer][java] revive the small example of Ant project	10 years ago
tests.iml	initial synchronization	10 years ago