15 Commits

Author	SHA1	Message	Date
chriseth	ca21659749	Fix error message about accessing storage pointers.	2019-09-24 10:52:02 +02:00
Mathias Baumann	efc8d79d53	Fix wrong location for inline asm blocks	2019-04-15 16:40:07 +02:00
Daniel Kirchner	0dfd4a726e	Warn about unreachable code.	2019-01-10 10:36:50 +01:00
Daniel Kirchner	788612d2ef	Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.	2018-12-12 04:20:53 +01:00
Daniel Kirchner	b5e9d849ef	Ignore unimplemented functions for storage returns.	2018-11-13 12:18:22 +01:00
bakaoh	3d7b0d691f	Update test to correct source location for nameless parameters	2018-08-31 09:54:11 +07:00
Daniel Kirchner	4ae59acc09	Consider mappings return values in control flow analysis.	2018-08-13 16:33:37 +02:00
Daniel Kirchner	99d3e8e45a	Add back lost test case to a more reasonable location.	2018-08-08 12:48:59 +02:00
Daniel Kirchner	bb518b59aa	Update and extend tests for return expressions.	2018-08-07 20:49:52 +02:00
Daniel Kirchner	35c5b7de25	Turn warning about uninitialized storage returns into an error.	2018-08-02 19:34:38 +02:00
Alex Beregszaszi	21e97da294	Deprecate the throw statement	2018-07-16 15:33:20 +02:00
Chase McDermott	fc78b32847	Added default data locations to parameters for syntax tests.	2018-07-11 20:24:50 -05:00
Daniel Kirchner	1cbc037a45	Update control flow graph.	2018-05-16 18:32:48 +02:00
Daniel Kirchner	56238ab1ec	Add test for default location.	2018-05-14 20:23:40 +02:00
Daniel Kirchner	16e966dea0	Add control flow analyzer and test for uninitialized storage returns.	2018-05-14 20:23:40 +02:00