[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: misplaced-note-head bug (issue 5303)

From: Lukas-Fabian Moser
Subject: Re: misplaced-note-head bug (issue 5303)
Date: Sat, 29 Jun 2019 16:50:57 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1


I think I isolated the rounding (?) issue leading to the misplaced note head in

Please forgive the horrible C/C++ jumble - it's been quite long since I did this kind of stuff and usually only ever wrote vanilla C:

#include <stdio.h>

double a = -0x1.7ffffffffffffp+1;

int main(void) {
  printf("%a, as float: %f, as int: %d\n", a, a, int (a));

Aah, I'm sorry - I was not aware that casting to int works by /truncating/. Then it's quite obvious what's happening here.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]