9 Commits

Author	SHA1	Message	Date
Daniel Kirchner	788612d2ef	Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.	2018-12-12 04:20:53 +01:00
liangdzou	f3cbdadec7	Do not set to ref for explicit conversion and add assertion for array ... type conversion. Also, add some test cases for #4901 and #4948.	2018-09-14 08:42:40 +02:00
bakaoh	3d7b0d691f	Update test to correct source location for nameless parameters	2018-08-31 09:54:11 +07:00
chriseth	13905a2094	Update tests.	2018-08-14 18:53:06 +02:00
mingchuan	16de7a0493	New test cases.	2018-08-14 18:53:06 +02:00
Alex Beregszaszi	ee85430f93	Add tests for data locations within libraries	2018-07-25 10:55:23 +01:00
Daniel Kirchner	8b4b8bdbae	Update test wrt requiring storage locations.	2018-07-12 12:54:42 +02:00
Erik Kundt	2e0d019ef0	Adds default visibility specifier to syntax tests.	2018-07-04 10:45:59 +02:00
mingchuan	b7cafcbdf9	Allow using calldata keyword to specify data location	2018-05-30 18:05:55 +08:00