From d9a352b8c1e9104d1c43eb408c0bbffc9e9625ab Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Thu, 7 Jan 2016 13:05:36 +0100
Subject: [PATCH] A few indentation issues in C code
---
.../e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
index 343ee53f21c..3075c22ff86 100644
--- a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
@@ -384,14 +384,14 @@ void __out_of_bound(void* ptr, _Bool flag) {
void __print_block (struct _block * ptr) {
if (ptr != NULL) {
printf("%p; %zu Bytes; %slitteral; [init] : %li ",
- (char*)ptr->ptr, ptr->size,
- ptr->is_litteral_string ? "" : "not ", ptr->init_cpt);
+ (char*)ptr->ptr, ptr->size,
+ ptr->is_litteral_string ? "" : "not ", ptr->init_cpt);
if(ptr->init_ptr != NULL) {
unsigned i;
for(i = 0; i < ptr->size; i++) {
- int ind = i / 8;
- int one_bit = (unsigned)1 << (8 - (i % 8) - 1);
- printf("%i", (ptr->init_ptr[ind] & one_bit) != 0);
+ int ind = i / 8;
+ int one_bit = (unsigned)1 << (8 - (i % 8) - 1);
+ printf("%i", (ptr->init_ptr[ind] & one_bit) != 0);
}
}
printf("\n");
--
GitLab