\brief An empty code invariants
| 88 | |
| 89 | /// \brief An empty code invariants |
| 90 | class EmptyCodeInvariants { |
| 91 | public: |
| 92 | using AbstractDomainT = AbstractDomain; |
| 93 | |
| 94 | public: |
| 95 | /// \brief Get the invariant at the entry of the given basic block |
| 96 | AbstractDomainT entry(ar::BasicBlock* /*bb*/) const { |
| 97 | return make_top_abstract_value(); |
| 98 | } |
| 99 | |
| 100 | /// \brief Analyze the given statement and update the invariant |
| 101 | AbstractDomainT analyze_statement(ar::Statement* /*stmt*/, |
| 102 | const AbstractDomainT& /*inv*/) const { |
| 103 | return make_top_abstract_value(); |
| 104 | } |
| 105 | }; |
| 106 | |
| 107 | } // end anonymous namespace |
| 108 |