summaryrefslogtreecommitdiff
path: root/vala/valaflowanalyzer.vala
Commit message (Expand)AuthorAgeFilesLines
* vala: Better handling of [NoReturn] call inside finally clauseRico Tzschichholz2023-02-061-1/+3
* vala: Make sure to drop our "trap" jump target in case of an errorRico Tzschichholz2022-02-041-2/+3
* Revert "Use ErrorType-based collection for CodeNode.get_error_types()"Rico Tzschichholz2021-10-251-3/+4
* Use ErrorType-based collection for CodeNode.get_error_types()Rico Tzschichholz2021-10-231-4/+3
* vala: Add Block.unreachable_exit and have it set accordingly by FlowAnalyzerRico Tzschichholz2021-02-041-0/+2
* vala: Rename Loop to LoopStatement and introduce a common base classRico Tzschichholz2021-02-011-1/+1
* vala: Make use of new printf-like API of Report.*()Rico Tzschichholz2020-10-261-8/+8
* Add support for "with" statementNick Schrader2020-06-021-0/+12
* vala: Check coverage of switch on enum-type and issue warnings if neededRico Tzschichholz2020-04-271-0/+37
* vala: Add Expression.is_always_true/false() helpersRico Tzschichholz2020-03-251-12/+2
* vala: Don't analyze error-type of errornous catch-clausesRico Tzschichholz2020-02-201-1/+1
* vala: Micro optimizationsRico Tzschichholz2019-09-301-9/+9
* vala: Rename DataType.data_type property to DataType.type_symbolRico Tzschichholz2019-09-301-3/+3
* vala: Run FlowAnalyzer on all given source-filesRico Tzschichholz2019-09-141-6/+3
* Collect error_types on demand to allow transformationsLuca Bruno2018-10-231-1/+3
* Reintroduce POSIX profileRico Tzschichholz2018-05-081-12/+37
* analyzer: Break cyclic references of BasicBlockDavid Hewitt2018-04-071-10/+34
* analyzer: Clean up collections for check_variables() after finishedRico Tzschichholz2018-04-071-0/+5
* Drop trailing spaces/tabsRico Tzschichholz2018-03-271-1/+1
* Don't warn about unused internal methods which are meant to be visible on DBusRico Tzschichholz2018-02-131-0/+3
* Release taken references to CodeContext after using itRico Tzschichholz2017-12-141-0/+2
* gee: Add some useful symbols from gee-0.8Rico Tzschichholz2017-06-271-6/+3
* analyzer: Fix critical when catch clause does not catch an ErrorTypeLuca Bruno2013-12-141-1/+1
* Fix subtle bug in flowanalyzer that made the compiler crashLuca Bruno2013-10-021-2/+2
* Drop warnings about unused internal symbols when using fast vapi filesJürg Billeter2012-08-061-2/+2
* Drop POSIX profileJürg Billeter2012-08-061-37/+12
* Drop Dova profileJürg Billeter2012-08-061-7/+1
* codegen: Do not use temp var when accessing single-assignment localsJürg Billeter2011-08-011-0/+3
* Enable flow analysis for out parametersLuca Bruno2011-07-151-43/+69
* Enable control flow analysis for variable declarationsLuca Bruno2011-05-291-0/+8
* Fix symbol resolution and enable control flow analysis for signalsLuca Bruno2010-12-191-0/+6
* Fix check for missing return statements in non-void methodsJürg Billeter2010-11-151-1/+1
* Add Subroutine classJürg Billeter2010-10-291-42/+8
* Add FlowAnalyzer.mark_unreachableJürg Billeter2010-10-281-26/+18
* SourceFile: Introduce SourceFileType enumerationRyan Lortie2010-09-091-1/+1
* dova: Fix flow analysis of error handling in non-void methodsJürg Billeter2010-06-171-7/+22
* dova: Add initial support for error handlingJürg Billeter2010-06-081-14/+42
* Fix code generation for unreachable declaration statementsJürg Billeter2010-03-311-0/+1
* Eliminate unnecessary error check after try statementsJürg Billeter2010-03-251-0/+1
* Fix lock statementJiří Zárevúcky2010-03-241-1/+5
* Do not generate C code for unreachable Vala codeJürg Billeter2010-03-221-0/+1
* Visit all expressions in flow analyzerJürg Billeter2010-03-221-4/+7
* Do not warn when internal member is unused with --internal-headerJürg Billeter2010-03-211-2/+10
* dova: Add implicit result variableJürg Billeter2010-03-131-2/+16
* Fix flow analysis for catch clauses with specific error typesJürg Billeter2010-03-101-1/+11
* Perform flow analysis on lambda expressionsMarc-André Lureau2010-01-291-1/+25
* Use dominance algorithm by Cooper, Harvey, and KennedyJürg Billeter2009-12-231-64/+33
* Generate reverse postorder instead of preorder list in flow analyzerJürg Billeter2009-12-231-2/+4
* Only generate depth-first list once per method in flow analyzerJürg Billeter2009-12-231-12/+12
* Add FlowAnalyzer.analyze_body to simplify codeJürg Billeter2009-12-231-8/+9
View Lorry Controller Status