analyzer: gather builtin/internal fn handling into switch statements
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 31 Aug 2020 20:20:55 +0000 (16:20 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 31 Aug 2020 22:31:14 +0000 (18:31 -0400)
commitee7bfbe5eb70a23bbf3a2cedfdcbd2ea1a20c3f2
tree3082cb4bc252247f73a38558d377765992b8b382
parent18056e45db1c75aa209fa9a756395ddceb867a88
analyzer: gather builtin/internal fn handling into switch statements

Clean up this code in preparation for fixing PR analyzer/96798.

gcc/analyzer/ChangeLog:
* region-model.cc (region_model::on_call_pre): Gather handling of
builtins and of internal fns into switch statements.  Handle
"alloca" and BUILT_IN_ALLOCA_WITH_ALIGN.
gcc/analyzer/region-model.cc