infer_clone

Commit Graph

Author	SHA1	Message	Date
jrm	4013e13cbe	[infer] Moving the getter for the return variable from Cfg.Procdesc to Sil Summary: the name of the return variable of a procedure only depends on the name of that procedure. This simplifies the need for the procedure description in a couple of places	10 years ago
jrm	d808a3ee26	[infer] implements call by procedure name Summary: Removes the need to have a procedure description when when executing a procedure call.	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago

Author

SHA1

Message

Date

jrm

4013e13cbe

[infer] Moving the getter for the return variable from Cfg.Procdesc to Sil

Summary:
the name of the return variable of a procedure only depends on the name of that procedure. This simplifies the need for the procedure description in a couple of places

jrm

d808a3ee26

[infer] implements call by procedure name

Summary:
Removes the need to have a procedure description when when executing a procedure call.

Open Source Synchronization

b8982270f2

initial synchronization

1 2

53 Commits (eb69ce79bfeac8c093549b31def11ca5c8ca9d3c)