Skip to content

Remove deprecated irept::get_unsigned_int #4243

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Feb 21, 2019
Merged

Remove deprecated irept::get_unsigned_int #4243

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions src/util/expr.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ Author: Daniel Kroening, kroening@kroening.com
#ifndef CPROVER_UTIL_EXPR_H
#define CPROVER_UTIL_EXPR_H

#include "deprecate.h"
#include "type.h"
#include "validate_expressions.h"
#include "validate_types.h"
Expand Down
5 changes: 0 additions & 5 deletions src/util/irep.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -109,11 +109,6 @@ int irept::get_int(const irep_namet &name) const
return unsafe_string2int(get_string(name));
}

unsigned int irept::get_unsigned_int(const irep_namet &name) const
{
return unsafe_string2unsigned(get_string(name));
}

std::size_t irept::get_size_t(const irep_namet &name) const
{
return unsafe_string2size_t(get_string(name));
Expand Down
5 changes: 0 additions & 5 deletions src/util/irep.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,6 @@ Author: Daniel Kroening, kroening@kroening.com
#include <string>
#include <vector>

#include "deprecate.h"
#include "invariant.h"
#include "irep_ids.h"

Expand Down Expand Up @@ -208,7 +207,6 @@ class sharing_treet
{
if(data!=&empty_d)
{
// NOLINTNEXTLINE(build/deprecated)
PRECONDITION(data->ref_count != 0);
data->ref_count++;
#ifdef IREP_DEBUG
Expand Down Expand Up @@ -433,9 +431,6 @@ class irept
const irep_idt &get(const irep_namet &name) const;
bool get_bool(const irep_namet &name) const;
signed int get_int(const irep_namet &name) const;
/// \deprecated use get_size_t instead
DEPRECATED("Use get_size_t instead")
unsigned int get_unsigned_int(const irep_namet &name) const;
std::size_t get_size_t(const irep_namet &name) const;
long long get_long_long(const irep_namet &name) const;

Expand Down
1 change: 1 addition & 0 deletions src/util/message.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ Author: Daniel Kroening, kroening@kroening.com
#include <sstream>
#include <string>

#include "deprecate.h"
#include "invariant.h"
#include "json.h"
#include "source_location.h"
Expand Down
1 change: 1 addition & 0 deletions src/util/type.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ Author: Daniel Kroening, kroening@kroening.com

class namespacet;

#include "deprecate.h"
#include "source_location.h"
#include "validate_types.h"
#include "validation_mode.h"
Expand Down